|
|
|
| Form Conjunction of Disjunctions |
||
| (CNF) with Distribution |
||
|
|
|
|
|
|
|
|
|
|
|
|
| | Replace (f0 ฺ (f 1 ู
ู f n)) |
||||||||||
| with ((f0
ฺ f1) ู
ู (f0
ฺ fn)) where fi
is a |
|||||||||||
| formula |
|||||||||||
| | Continue
until you have one conjunction |
||||||||||
| (and)
of disjunctions (ors). |
|||||||||||
| (ุX ฺ (YูุZ)) ู (ุY ฺ Z ฺ X) = |
|||||||||||
| ((ุXฺY) ู (ุXฺุZ)) ู (ุY ฺ Z ฺ X) = |
|||||||||||
| (ุXฺY)
ู (ุXฺุZ) ู (ุY ฺ Z ฺ X) |
|||||||||||
