判斷下列公式是否為可合一,若可合一,則求出其最一般合一。 (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)