© 2000 Todd Neller.  A.I.M.A. text figures © 1995 Prentice Hall.  Used by permission.
Conversion to CNF
•Eliminate Þ and Û
•Move negations in (form literals) using deMorgan’s Law
•Distribute Ù and Ú to form conjunction of disjunctions
•Worked example:  X Û (Y Ù ØZ)