#"><i id="ch19ex5" class="fas fa-thumbs-up" style="color:white"></i></button>
</div>
<div class="card-body">
<p class="card-text">

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$:<br />

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

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

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