6.6.1 逻辑代数的运算规则