Download - Decision Tree DNF

Transcript
Page 1: 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

Page 2: Decision Tree DNF
Page 3: Decision Tree DNF
Page 4: Decision Tree DNF
Page 5: Decision Tree DNF

Top Related