价关系的非运算。
性质.交换律：formula_13结合律：formula_14恒等律：formula_15归零律：formula_16自反：formula_17
与近世代数的联系.尽管算子formula_18（逻辑合取）与formula_9（逻辑析取）是逻辑系统中最为常见的算子，但结构上，系统formula_20 and formula_21只是幺半群。因此，这两个系统无法合成为一个更大的结构，比如环或半环。但是，带有逻辑异或的系统f