判断下列公式是否为可合一,若可合一,则求出其最一般合一。(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)
0 阅读
判断下列公式是否为可合一,若可合一,则求出其最一般合一。
(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)
请帮忙给出正确答案和分析,谢谢!
搜题,就来89问答库