---

判断下列公式是否为可合一，若可合一，则求出其最一般合一。 （1）P（a，b），P（x，y） （2）P（f（x），b），P（y，z） （3）P（f（x），y），P（y，f（b）） （4）P（f（y），y，x），P（x，f（a），f（b）） （5）P（x，y），P（y，x）

---

出自：计算机科学

显示答案