简答题 判断下列子句集中哪些是不可满足的：{P∨Q，¬P∨Q，P∨¬Q，¬P∨¬Q}。

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

用语义网络法表示知识“雪的颜色是白的”（）。 点击查看答案