Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Resolution Rule
-
Suppose C 1 ,C 2 are clauses such that l in C 1 , l c in C 2 . The clauses C 1 and C 2 are said to be clashing clauses and they clash on the complementary literals l , l c
C , the resolvent of C 1 ,C 2 is the clause
C 1 and C 2 are called the parent clauses of C.