布尔环
Conversely, if a Boolean ring "A" is given, we can turn it into a Boolean algebra by defining "x" ∨ "y" := "x" + "y" + ("x" · "y") and "x" ∧ "y" := "x" · "y".