若C1=P（x) ∨Q（x) C2=┐P（a) ∨R（y) 则C1和C2的归结式R（C1 C2）=（)
已帮助 人
若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)
回答
共1条回复-
D