Decision Tree DNF
5
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 of Decision Tree DNF
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
yy
01 1z
10
10
Decision Tree → CNF
(x∨¬y) ∧ (¬x∨y∨z)
x
yy
01 1z
10