(5) A B C D E

返回课堂

上式中，

A (x)｛[(y) ～P(x,y,f(x,y))]∨(u)Q(g(x,u),u)｝

B (x)｛[(y)(z) ～P(x,y,z)]∨(u)(x)Q(x,u)｝

C (x)｛[ ～(y)(z)P(x,y,z)]∨(u)(x)Q(x,u)｝

D P(x,y,f(x,y)) Q(g(x,u),u)

E ～P(x,y,f(x,y))∨Q(g(x,u),u)