Boolean Algebra

A Boolean algebra is a structure (B, and, or, not, 0, 1) such that, B is a non-empty set, and and or are binary functions from BxB to B, not is a unary function from B to B, and both 0 and 1 are constants which are members of the set B. The following laws hold:


We can use digital voltage levels and logic gates as the interpretations of the elements of Boolean algebra as follows:

It can be shown by the logic gate truth tables that this interpretation satisfies the laws of Boolean algebra.