布尔运算的定义