• Encontre a menor FND e também a menor FNC da proposição (p→q) ∧ r:

Note que:

• A menor FNC de (p→q) ∧ r é: (~p∨q) ∧ r.
• A menor FND de (p→q) ∧ r é: (~p∧r) ∨ (q∧r).

Perceba então que a obtenção da FNC e FND nem sempre nos conduz para proposições concluintes com um número menor de conectivos lógicos, quando comparadas à proposição original.

A proposições FNC e FND de (p→q)∧r são exemplos disso. Veja a seguir:

• A proposição original (p→q)∧r tem 2 operações lógicas.

• A FNC (~p∨q)∧r tem 3 operações lógicas.

• A FND (~p∧r) ∨ (q∧r) tem 4 operações lógicas.