问题
问答题 论述题
判断下列公式是否为可合一，若可合一，则求出其最一般合一。
（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}。