5.2 布尔运算建模