布尔函数
For a Boolean function formula_1 we call