布尔函数极小化

minimization of Boolean function