Boolean Algebra

algebra boolean-algebra

Definition

Boolean Algebra

A distributive lattice is called Boolean Algebra if it has the following properties:

1. is a monoid.
2. is a monoid.
3. Neutral element for :

4. Neutral element for :

5. All elements have a complement :