Quine-McCluskey
Quine, Willard, “A way to simplify truth functions.”
American Mathematical Monthly, vol. 62, 1955.
Quine, Willard, “The problem of simplifying truth functions.”
American Mathematical Monthly, vol. 59, 1952.
Willard van Orman Quine 1908-2000,
Edgar Pierce Chair of Philosophy at
http://members.aol.com/drquine/wv-quine.html