把以下各式化为前束范式。(1)∀x(P(x)→∃yQ(x,y));(2)∀x (¬∃yP(x,y)）→(∃zQ(z)→R(x))

把以下各式化为前束范式。
(1)∀x(P(x)→∃yQ(x,y));
(2)∀x (¬∃yP(x,y)）→(∃zQ(z)→R(x)))。
【正确答案】：(1)∀x∃y(¬P(x)ⅤQ(x,y))
(2)∀x∃y ∀z(P(x, y)Ⅴ¬Q(z)ⅤR(x))

↑