1逻辑代数中的三种基本运算