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 – Properties of Clausal Forms (cont’)

    (3) If S contains two clauses C and C' , such that C is a subset of C' , we can delete C‘ without affecting the (un)satisfiability of S

    Example: is satisfiable iff is satisfiable

    (4) If a clause C in S contains a pair of complementary literals l , l c , then C can be deleted from S without affecting its (un)satisfiability

    Example: is satisfiable iff is such

Speaker notes:

Content Tools


There are currently no sources for this slide.