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

(1) 不可合一，因为P(a,b)和P(x,y)的谓词不同。 (2) 可合一，令x=f(y), y=f(a), 则P(f(y),y,x)变为P(x,y,f(y))，P(x,f(a),f(b))变为P(f(y),f(a),f(b))，两者谓词相同，变量相同，因此可合一。最一般合一为{x/f(y), y/f(a), z/f(y)}。 (3) 可合一，令x=y，则P(x,y)变为P(x,x)，两个谓词相同，变量相同，因此可合一。最一般合一为{x/y}。