简答题
判断下列公式是否为可合一，若可合一，则求出其最一般合一。 （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）
正确答案
（1）可合一，其最一般和一为：σ={a/x，b/y}。
（2）可合一，其最一般和一为：σ={y/f（x），b/z}。
（3）可合一，其最一般和一为：σ={fB./y，b/x}。
（4）不可合一。
（5）可合一，其最一般和一为：σ={y/x}。