合取）与formula_9（逻辑析取）是逻辑系统中最为常见的算子，但结构上，系统formula_20 and formula_21只是幺半群。因此，这两个系统无法合成为一个更大的结构，比如环或半环。但是，带有逻辑异或的系统formula_22是一个交换群。因此，算子formula_18与formula_24的结合在集合formula_25上作用就产生了最基本的二元域formula_26。这个域可以得出所有运用formula_27可以得到的结果，并且由于附带了域的结构，可以进行代数上的进一步分析。Se