I have the following question and am not sure how to do it.
Find the resolvent for the two clauses:
$P \vee \neg Q \vee R$
$P \vee \neg R \vee S$
I have the following question and am not sure how to do it.
Find the resolvent for the two clauses:
$P \vee \neg Q \vee R$
$P \vee \neg R \vee S$
Resolvent is the outcome of applying the resolution rule. In your case, there is only one possibility how to apply it: $ \frac{P\lor\lnot Q\lor{\boldsymbol R}\qquad P\lor{\boldsymbol {\lnot R}}\lor S}{P\lor\lnot Q\lor S} $