判断下列子句集中哪些是不可满足的( )。
A、{¬P∨Q,¬Q,P,¬P}
B、{P∨Q,¬P∨Q,P∨¬Q,¬P∨¬Q}
C、{P(y)∨Q(y),¬P(f(x))∨R(a)}
D、{¬P(x)∨Q(x),¬P(y)∨R(y),P(a),S(a),¬S(z)∨¬R(z)}
E、{¬P(x)∨Q(f(x),a),¬P(h(y))∨Q(f(h(y)),a)∨¬P(z)}
发布时间:2023-08-01 23:04:35
A、{¬P∨Q,¬Q,P,¬P}
B、{P∨Q,¬P∨Q,P∨¬Q,¬P∨¬Q}
C、{P(y)∨Q(y),¬P(f(x))∨R(a)}
D、{¬P(x)∨Q(x),¬P(y)∨R(y),P(a),S(a),¬S(z)∨¬R(z)}
E、{¬P(x)∨Q(f(x),a),¬P(h(y))∨Q(f(h(y)),a)∨¬P(z)}