decision tree dnf
TRANSCRIPT
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