5.4.2 逻辑运算规则