ブール関数
Another notation for writing this Boolean function is formula_8.