8.4 布尔表达式的代数运算