ABSTRACT

FIGURE 4.1 Boolean algebras are defined over sets of elements, operations, and postulates.

The computation rules of Boolean algebra, known as Huntington’s postulates, or laws, are defined as follows (Figure 4.2):

Computation rules of a Boolean algebra (Huntington’s postulates)

FIGURE 4.2 Computation rules of Boolean algebra.