W={P(a,x,f(g(y))),P(z,f(z),f(u))},其中,F1= P(a,x,f(g(y))),F2= P(z,f(z),f(u)) 求F1和F2的mgu 解

首先,我们需要将F1和F2中的项分解成函数和参数的形式: F1: P(a, x, f(g(y))) ->…

W={P(a,x,f(g(y))),P(z,f(a),f(u))},其中,F1= P(a,x,f(g(y))),F2= P(z,f(a),f(u)) 求F1和F2的mgu 解

首先,我们需要将F1和F2中的项分解成函数和参数的形式: F1: P(a, x, f(g(y))) ->…

返回顶部