估价函数

判断下列子句集中哪些是不可满足的：{P∨Q，P∨Q，P∨Q，P∨Q}。 点击查看答案

把谓词公式化成子句集：（x）（y）（P（x，y）∨（Q（x，y）→R（x，y）））：（）。 点击查看答案