• Proposição ~(p ∧ ~q) ∧ ~(~p ∧ q)

Vejamos a simplificação da proposição ~(p ∧ ~q) ∧ ~(~p ∧ q). Vale ressaltar a necessidade de atenção na aplicação das regras garantindo a obtenção de uma proposição na realidade equivalente, em especial quando o objetivo é encontrar uma equivalente com o menor numero de conectivo possível:

A simplificação reduziu a proposição original, que tinha 7 conectivos, para uma equivalente com apenas 1 conectivo.