子句集 S=P(x)lor Q(x)lor R(x), -P(y)lor R(y), -Q(a), -R(b) 是不可满足的。A. 对B. 错

子句集 $S=\{P(x)\lor Q(x)\lor R(x), -P(y)\lor R(y), -Q(a), -R(b)\}$ 是不可满足的。

A. 对

B. 错