Boolean algebra (structure)

Algebraic structure modeling logical operations

In mathematics, 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.

From Wikipedia, under CC BY-SA. More on occurri.