ฉ 2000 Todd Neller.
A.I.M.A. t
ext
figures
ฉ 1995 Prentice Hall.
Used by
permission.
Form Conjunction of Disjunctions
(CNF) with Distribution
Replace (
f
0
ฺ
(
f
1
ู
ู
f
n
))
with ((
f
0
ฺ
f
1
)
ู
ู
(
f
0
ฺ
f
n
)) where
f
i
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)
