Boolean function
For a Boolean function formula_1 we call