On Boolean functions of many variables
J. C. C. McKinsey · Transactions of the American Mathematical Society · 1936
The theorem is as follows: Every change of x, or part of x, in the increment region ab' produces the same change in ax-\-bx'; in the decrement region a'b it produces the opposite effect; and a change of x in any other region has no effect whatsoever on ax-\-bx', which always occupies ab and never enters a'b'.* B. A. Bernstein, Postulates for Boolean algebra involving the operation of complete disjunction, to appear in the Annals of Mathematics.I take this opportunity of acknowledging my indebtedness to Professor Bernstein for his valuable suggestions regarding the present paper.