Por exemplo, estão na FN as seguintes proposições:

~p ∨ q

~(p ∨ q)

(p ∨ ~q) ∧ (r ∨ ~p)

Sendo que:

• ~p ∨ q é uma FND.
• (p ∨ ~q) ∧ (r ∨ ~p) é uma FNC
• ~(p ∨ q) é uma FN, mas não é nem FND e nem FNC.

Veja abaixo uma demonstração de simplificação, na qual as regras de equivalências foram aplicadas até encontrar a menor FND da proposição (p→q)∧(q→p):