下列哪个公式是与公式?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))


Tag:公式 范式 时间:2024-04-07 10:40:49