名词解释: 布尔代数的逻辑运算