ブール関数
For a Boolean function formula_1 we call