The law appearing in the definition of a Boolean Algebra which states

for binary operators and (which most commonly are logical Or and logical And).

**References**

Birkhoff, G. and Mac Lane, S. *A Survey of Modern Algebra, 3rd ed.* New York: Macmillian, p. 317, 1965.

© 1996-9

1999-05-25