ブール関数
Boolean function minimizing methods include: