布尔代数中的两个二元运算满足封闭性、交换性、结合性、等幂性和吸收性,同时满足分配性