高等继续教育 / 人工智能
题型描述: 简答题
用归结原理判断下列子句集中哪些是不可满足的。
(1)S={ P(x)∨Q(x)∨R(x),¬P(y)∨R(y),¬Q(a),¬R(b)}
(2)S={ P(x)∨Q(x),¬Q(y)∨R(y),¬P(z)∨Q(z),¬R(u)}
参考答案: