若C1=P(x) ∨Q(x),C2=┐P(a) ∨R(y),则C1和C2的归结式R(C1,C2)=()

A.P(x) ∨Q(x) B.P(a) ∨Q(x) C.Q(x) ∨R(y) D.Q(a) ∨R(y)

时间:2024-03-10 15:45:12

相似题目