ДАЮ 100 БАЛОВ ! Привести к ПНФ формулы логики предикатов.

??

∃u( ∃xF(x,u) -> ∀xG(x,u))∃u( ¬(∃xF(x,u)) V ∀xG(x,u))∃u( ∀x¬F(x,u) V ∀zG(z,u))∃u∀x∀z(¬F(x,u) V G(z,u))