Example of Resolution with Venn Diagrams

We use the notation of shading the portion of the Venn diagram that is prohibited by each clause. Proving unsatisfiability is equivalent to showing that if all the premise diagrams were overlaid, the entire space would be shaded.

Contents    Page-10    Prev    Next    Page+10    Index