5.1 布尔运算方法建模