© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Conjunctive Normal Form
•
This is called Conjunctive Normal Form
(CNF).
•
Any CNF form can be converted to 3CNF
or k-CNF by introducing variables and
splitting disjunctions:
–
(P
Ú
Q
Ú
R
Ú
S
Ú
T) is equivalent to (P
Ú
Q
Ú
U)
Ù
(
Ø
U
Ú
R
Ú
V)
Ù
(
Ø
V
Ú
S
Ú
T)
