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