ula_8，逻辑或formula_9和逻辑非formula_10表示为：另外，异或算符可以被推广，得到关于"n"个运算元的异或运算："n"个运算元的"n"维异或的值为真当且仅当其中值为真的运算元有奇数个。异或也可以被表示为：异或还可以看作是逻辑等价关系的非运算。
性质.交换律：formula_13结合律：formula_14恒等律：formula_15归零律：formula_16自反：formula_17
与近世代数的联系.尽管