下面哪一个是∀xP（x)→（∃x)（（∀z)Q（x,z)⋁（∀z)R（x,y,z)))的前束合取范式？（)

A.∃x∀z∀u(¬P(x)⋁Q(x,z)⋁R(x,y,u))

B.∃x∃z∀u(¬P(x)⋁Q(x,z)⋁R(x,y,u))

C.∃x∀z∃u(¬P(x)⋁Q(x,z)⋁R(x,y,u))

D.∀x∀z∀u(¬P(x)⋁Q(x,z)⋁R(x,y,u))