判断下列公式是否为可合一若可合一则求出其最一般合一。1 Pa b Px y2 Pfy y x Px fa fb 3 Px y Py x请给出详细分析过程

(1) 不可合一，因为P(a, b)和P(x, y)中的变量不一致。 (2) 可合一，将P(f(y), y, x)中的f(y)替换为f(a)，将y替换为f(b)，即可得到P(f(a), f(b), x)，最一般合一为P(f(a), f(b), x)。 (3) 可合一，将P(x, y)中的x替换为y，y替换为x，即可得到P(y, x)，最一般合一为P(y, x)。