ブール関数
The formal definition is as follows: formula_2 players: formula_3 intend to compute a Boolean function