下列谓词公式中,不是前束范式的为

下列谓词公式中,不是前束范式的为
A、∀x∀y(A(x)→B(y))
B、∀x∃y(A(x)⋀B(y))
C、∀x∃y(A(x)⋀B(y)→C(z))
D、∀x∃y(A(x)⋀B(y)→∃zC(z))
【正确答案】：D

↑

下列谓词公式中,不是 前束范式的为