In abstract algebra, a Boolean algebra or Boolean lattice is a
complemented distributive lattice. This type of algebraic structure captures
essential properties of both set operations and logic operations. A Boolean
algebra can be seen as a generalization of a power set algebra or a field of
sets, or its elements can be viewed as generalized truth values. It is also a
special case of a De Morgan algebra and a Kleene algebra (with involution).
Every Boolean algebra gives rise to a Boolean ring, and vice versa, with ring
multiplication corresponding to conjunction or meet ∧, and ring addition to
exclusive disjunction or symmetric difference (not disjunction ∨).