a_16自反：formula_17
与近世代数的联系.尽管算子formula_18（逻辑合取）与formula_9（逻辑析取）是逻辑系统中最为常见的算子，但结构上，系统formula_20 and formula_21只是幺半群。因此，这两个系统无法合成为一个更大的结构，比如环或半环。但是，带有逻辑异或的系统formula_22是一个交换群。因此，算子formula_18与formula_24的结合在集合formula_25上作用就产生了最基本的二元域formula_26。