人工智能部分答案

人工智能部分答案判断下列公式是否为可合一，若可合一，则求出其最一般合一。 (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)