下列哪个公式是与公式?x(F(x,y,z)→?yG(x,y,z))等值的前束范式,
下列哪个公式是与公式?x(F(x,y,z)→?yG(x,y,z))等值的前束范式,
A、?x?t(F(x,y,z)→G(x,t,z))
B、?s?t(F(s,y,z)→G(x,t,z))
C、?x?t(F(x,y,z)→G(x,t,z))
D、?s?t(F(s,y,z)→G(x,t,z))
正确答案:?x?t(F(x,y,z)→G(x,t,z))
下列哪个公式是与公式?x(F(x,y,z)→?yG(x,y,z))等值的前束范式,
A、?x?t(F(x,y,z)→G(x,t,z))
B、?s?t(F(s,y,z)→G(x,t,z))
C、?x?t(F(x,y,z)→G(x,t,z))
D、?s?t(F(s,y,z)→G(x,t,z))
正确答案:?x?t(F(x,y,z)→G(x,t,z))
相关答案
热门答案