An equation proposed by Huntington (1933) as part of his definition of a Boolean Algebra,

**References**

Huntington, E. V. ``New Sets of Independent Postulates for the Algebra of Logic, with Special Reference
to Whitehead and Russell's *Principia Mathematica.*'' *Trans. Amer. Math. Soc.* **35**, 274-304,
1933.

Huntington, E. V. ``Boolean Algebra. A Correction.'' *Trans. Amer. Math. Soc.* **35**, 557-558, 1933.

© 1996-9

1999-05-25