• Proposição ~(~p ~∨ ~q)
Vamos simplificar ao máximo a proposição ~(~p ~∨ ~q) e obter uma proposição equivalente com o menor numero de conectivo possível:
A simplificação reduziu a proposição original, que tinha 4 conectivos, para uma equivalente com apenas 1 conectivo.