問答題

【計(jì)算題】
判斷下列子句集中是否滿足？

答案：

你可能感興趣的試題

【計(jì)算題】
把下列謂詞公式分別化為相應(yīng)的子句集：

答案：

【計(jì)算題】
判斷公式是否可合一；若可合一，則求出最一般的合一。

答案：