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.



Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.