Willard V. Quine. On Cores and Prime Implicants of Truth Functions. American Mathematical Monthly, 1959. 8 Decision Tree → DNF (¬x∧¬y) ∨ (x ∧¬y ∧z) ∨ (x∧y) x y y 0 1 1 z 1 0 10 Decision Tree → CNF (x∨¬y) ∧ (¬x∨y∨z) x y y 0 1 1 z 1 0
Transcript
Willard V. Quine. On Cores and Prime Implicants of Truth Functions.American Mathematical Monthly, 1959.