布尔函数
Another notation for writing this Boolean function is formula_8.