Question

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

Answer 1

∃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))

Answer 2

??