已知表达式P[x, f(y), B]的两个置换为:s1={z/x, w/y},s2={q(z)/x, A/y},则以下选项正确的是( )
A、P[x,f(y),B]s1= P[z/x,f(w/y),B];
B、P[x,f(y),B]s2= P[q(z),A,B];
C、P[x,f(y),B]s1= P[z,f(w),B];
D、P[x,f(y),B]s2= P[q(z),f(A),B]
发布时间:2025-03-14 20:02:06
A、P[x,f(y),B]s1= P[z/x,f(w/y),B];
B、P[x,f(y),B]s2= P[q(z),A,B];
C、P[x,f(y),B]s1= P[z,f(w),B];
D、P[x,f(y),B]s2= P[q(z),f(A),B]