下列哪个公式是与公式?y（F（x，y）∧￢H（y））→?xH（x，z）等值的前束范式

下列哪个公式是与公式?y（F（x，y）∧￢H（y））→?xH（x，z）等值的前束范式
A、?y?x（F（x，y）∧￢H（y）→H（x，z））
B、?y?x（F（x，y）∧￢H（y）→H（x，z））
C、?y?u（F（x，y）∧￢H（y）→H（u，z））
D、?y?u（F（x，y）∧￢H（y）→H（u，z））
正确答案：?y?u（F（x，y）∧￢H（y）→H（u，z））