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) (xy) x y y 0 1 1 z 1 0 10 Decision Tree CNF (x∨¬y) (¬xyz) x y y 0 1 1 z 1 0

Upload: others

Post on 16-Oct-2021

12 views

Category:

Documents


0 download

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