判断下列公式是否为可合一,若可合一,则求出其最一般合一。 (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)
答案: <查看本题扣1积分>
查看答案
答案不对?请尝试站内搜索