問答題

【計算題】
判斷公式對是否可合一；若可合一，則求出最一般的合一。
P（a，b），P（x，y）

答案：

你可能感興趣的試題

【簡答題】什么是謂詞公式？什么是謂詞公式的解釋？

答案：

【簡答題】
有一農(nóng)夫帶一條狼，一只羊和一框青菜與從河的左岸乘船倒右岸，但受到下列條件的限制：
（1）船太小，農(nóng)夫每次只能帶一樣?xùn)|西過河；
（2）如果沒有農(nóng)夫看管，則狼要吃羊，羊要吃菜。
請設(shè)計一個過河方案，使得農(nóng)夫、浪、羊都能不受損失的過河，畫出相應(yīng)的狀態(tài)空間圖。

答案：

<samp id="fhixc"><tbody id="fhixc"><bdo id="fhixc"></bdo></tbody></samp>

<samp id="fhixc"><li id="fhixc"><tbody id="fhixc"></tbody></li></samp>