Fill in the missing values for the clauses C1 or C2 (or both) in the following sets of clauses, given that C is the re solvent of C1 and C2:

a. C = True → P (A, B), C1 = P (x, y) → Q(x, y), C2 =??

b. C = True → P (A, B), C1 = ?? C2 =??.

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.