4.6 布尔表达式的标准形式