高等继续教育 / 人工智能
正确率:100%
判断下列子句集中哪些是不可满足的()。
A、{¬P(x)∨Q(f(x),a) , ¬P(h(y))∨Q(f(h(y)), a)∨¬P(z)}
B、{ P∨Q , ¬P∨Q, ∨¬Q, ¬P∨¬Q }
C、{ P(y)∨Q(y) , ¬P(f(x))∨R(a)}
D、{P(x)∨Q(x)∨R(x) , ¬P(y)∨R(y), ¬Q(a), ¬R(b)}
E、{¬P(x)∨Q(x) , ¬P(y)∨R(y), P(a), S(a), ¬S(z)∨¬R(z)}
F、{¬P∨Q, ¬Q, P, ¬P}
A、{¬P(x)∨Q(f(x),a) , ¬P(h(y))∨Q(f(h(y)), a)∨¬P(z)}
B、{ P∨Q , ¬P∨Q, ∨¬Q, ¬P∨¬Q }
C、{ P(y)∨Q(y) , ¬P(f(x))∨R(a)}
D、{P(x)∨Q(x)∨R(x) , ¬P(y)∨R(y), ¬Q(a), ¬R(b)}
E、{¬P(x)∨Q(x) , ¬P(y)∨R(y), P(a), S(a), ¬S(z)∨¬R(z)}
F、{¬P∨Q, ¬Q, P, ¬P}
参考答案:
佳题速递: