問答題

【簡答題】判斷下列子句集中哪些是不可滿足的：{P∨Q，¬P∨Q，P∨¬Q，¬P∨¬Q}。

答案：

題目列表

你可能感興趣的試題

填空題

把謂詞公式化成子句集：（∀x）（∃y）（P（x，y）∨（Q（x，y）→R（x，y）））：（）。
答案： S={P（x， f（x））∨¬Q（x， f（x））∨R（x， f（x））}
微信掃碼免費搜題