Huntington Equation

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

$$n(n(x) + y) + n(n(x) + n(y)) = x.$$

See also Robbins Algebra, Robbins Equation

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.