| 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) |
||||||
