Prevesti formulu prenex normalnu formu: ∀xP(x) → ∃xQ(x)
1.eliminacija implikacije: A → B ≡ ¬A ∨ B
¬(∀xP(x)) ∨ ∃xQ(x)
2.negacija: ¬(∀xF [x]) ≡ ∃x¬F [x]
∃x¬P(x) ∨ ∃xQ(x)
3.grupisanje pod kvantifikator: (∃x. A) ∨ (∃x. B) ≡ (∃x. A∨B)
∃x(¬P(x) ∨ Q(x))
Prevesti formulu prenex normalnu formu: ∀xP(x) → ∃xQ(x)
1.eliminacija implikacije: A → B ≡ ¬A ∨ B
¬(∀xP(x)) ∨ ∃xQ(x)
2.negacija: ¬(∀xF [x]) ≡ ∃x¬F [x]
∃x¬P(x) ∨ ∃xQ(x)
3.grupisanje pod kvantifikator: (∃x. A) ∨ (∃x. B) ≡ (∃x. A∨B)
∃x(¬P(x) ∨ Q(x))