American Mathematical Monthly · 1955 · 572 citations · 0 references
HumanitiesMathematicsLogicBoolean AlgebraPredicate LogicBoolean ExpressionsBoolean FunctionsExpression SimplificationTruth Tables
(1955). A Way to Simplify Truth Functions. The American Mathematical Monthly: Vol. 62, No. 9, pp. 627-631.