如果结果不匹配，请 
更多“合一算法是求非空无限具有相同谓词名的原子公式集的最一般合一。…”相关的问题
第2题
判断以下公式对是否可合一；若可合一，则求出最一般的合一： （1)P（a，b)，P（x，y) （2)P（f（z)
判断以下公式对是否可合一；若可合一，则求出最一般的合一： (1)P(a，b)，P(x，y) (2)P(f(z)，b)，P(y，x) (3)P(f(z)，y)，P(y，f(a)) (4)P(f(y)，y，x)，P(x，f(a)，f(b)) (5)P(x，y)，P(y，x)
第3题
合一公式
判断以下公式对是否可合一；若可合一，则求出最一般的合一： (1)P(a，b)，P(x，y) (2)P(f(z)，b)，P(y，x) (3)P(f(z)，y)，P(y，f(a)) (4)P(f(y)，y，x)，P(x，f(a)，f(b)) (5)P(x，y)，P(y，x)
