逻辑代数运算的基本规则