Digite uma proposição lógica e clique em "Analisar" para ver a resolução detalhada.