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