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$:
-
$C = {True} \Rightarrow P(A,B)$, $C_1 = P(x,y) \Rightarrow Q(x,y)$, $C_2 = ??$.
-
$C = {True} \Rightarrow P(A,B)$, $C_1 = ??$, $C_2 = ??$.
-
$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