2 - Simplificação de proposições pela redução de conectivos

• 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.