Fill in the missing values for the clauses C1 or Cz (or both) in the following sets of clauses, given that C is the resolvent of Cl and Cz:

a. C = True + P(AB,) ,C 1 = P(x,y)+ Q(xy,), Cz =??.

b. C = True =+ P(A,B ),C 1 =??, Cz =??.

c. C = P(x,y) =+ P(x,f( y)), C1 =??, C2 =??.

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