O SEGREDO da Simplificação de Proposições (Lógica matemática)