Edit Question

Exercise 19.5 [ir-step-exercise]

Fill in the missing values for the clauses $C_1$ or $C_2$ (or both) in the following sets of clauses, given that $C$ is the resolvent of $C_1$ and $C_2$:

  1. $C = {True} \Rightarrow P(A,B)$, $C_1 = P(x,y) \Rightarrow Q(x,y)$, $C_2 = ??$.

  2. $C = {True} \Rightarrow P(A,B)$, $C_1 = ??$, $C_2 = ??$.

  3. $C = P(x,y) \Rightarrow P(x,f(y))$, $C_1 = ??$, $C_2 = ??$.

If there is more than one possible solution, provide one example of each different kind.

Answer Improve This Solution
View Answer
Request Answer