请在 下方输入 要搜索的题目:

判断下列子句集中哪些是不可满足的( )。


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
推荐参考答案 ( 由 搜搜题库网 官方老师解答 )
联系客服
答案:
搜搜题找答案
用户信息
没有账号?点我注册
登录 - 搜搜题库网
立即注册
注册 - 搜搜题库网
验证码
立即登录