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.
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.
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.