Resolution Step

If: C1 &and C2 &rarr H
then: C1 &and C2 &and H = C1 &and C2
but not: C1 &and C2 = H

Example:
C1 = (A &or B)
C2 = (¬ B &or C)
H = (A &or C)

C1 = C2 = C1 &and C2 H = C1 &and C2 &and H
A B C A &or B ¬ B &or C A &or C
0 0 0 0 1 0 0 0
0 0 1 0 1 0 1 0
0 1 0 1 0 0 0 0
0 1 1 1 1 1 1 1
1 0 0 1 1 1 1 1
1 0 1 1 1 1 1 1
1 1 0 1 0 0 1 0
1 1 1 1 1 1 1 1

When C1 &and C2 is false, it is a ``don't care'' for H.

Contents    Page-10    Prev    Next    Page+10    Index