12.4.1 布尔运算