你可能感興趣的試題

判斷下列子句集中是否可滿足？

判斷下列子句集中是否滿足？

判斷下列子句集中是否滿足？

把下列謂詞公式分別化為相應(yīng)的子句集：

判斷公式是否可合一；若可合一，則求出最一般的合一。

判斷公式是否可合一；若可合一，則求出最一般的合一。

判斷公式是否可合一；若可合一，則求出最一般的合一。

判斷公式是否可合一；若可合一，則求出最一般的合一。

判斷公式對(duì)是否可合一；若可合一，則求出最一般的合一。
P（a，b），P（x，y）