谓词公式∃x∃yF（x,y）→∀zG（x,y,z）的前束范式

谓词公式∃x∃yF（x,y）→∀zG（x,y,z）的前束范式为____。
答案∀x∀y∀z( F(x,y)→G(u,v,z))是怎么推出来的？
因为我自己推出来的是∀x∃y∃z(┐F（x,y）∧┐G（u,v,z）)