布尔代数的余运算

即“布尔补”.complementary operation of Boolean algebras