Consider the clauses (with ‘~’ denoting negation) p or ~…
Consider the clauses (with ‘~’ denoting negation) p or ~s q or s ~p or r Check each clause that may result from applying the resolution rule* to two of the above clauses.
Consider the clauses (with ‘~’ denoting negation) p or ~…