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