差”在逻辑中叫做XOR（异或）)和"a" * "b" = "a" formula_3 "b"。这个环的零元素符合布尔代数的0；环的乘法单位元素是布尔代数的1。这个环有对于"A"中的所有的"a"保持"a" * "a" = "a"的性质；有这种性质的环叫做布尔环。反过来，如果给出布尔环"A"，我们可以把它转换成布尔代数，通过定义"x" formula_4 "y" = "x" + "y" + "xy"和"x" formula_3 "y" = "xy"。因为这两个运算是互逆的，我们可以说每个布尔环引发一个布尔代