公式 " x ( F(x,y,z ) → " y ( G(x,y,z) → " z H(x,y,z) ) ) 的前束范式为
A.
" x " y " z ( F(x,t,w ) →( G(x,y,w) → H(x,y,z) ) )
B.
$ x $ y $ z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) )
C.
" x " y $ z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) )
D.
" x $ y " z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) )