2.1 逻辑代数中的运算