6.2.1 逻辑代数的基本运算