布尔函数
Boolean function minimizing methods include: