Normal Forms

• CNF = Conjunctive Normal Form

• Conjunction of disjuncts (each disjunct = “clause”)

(P ? Q) ? R

(P ? Q) ? R

?(P ? Q) ? R

?P ? ?Q ? R

(?P ? ?Q) ? R

(?P ? R) ? (?Q ? R)

Previous slide

Next slide

Back to first slide

View graphic version