Verificador de Equivalência Lógica

O Verificador de Equivalência Lógica determina se duas expressões booleanas produzem os mesmos resultados para todas as atribuições possíveis de variáveis. Suporta operadores comuns (AND, OR, NOT, IMPLIES, XOR) e parênteses aninhados; as expressões são analisadas para uma representação interna canônica. A ferramenta enumera todas as atribuições de verdade, avalia ambas as expressões e compara as saídas para decidir a equivalência. Quando as expressões não são equivalentes, retorna uma atribuição concreta que as distingue e pode fornecer passos de demonstração opcionais ou formas canônicas para facilitar a compreensão. Conceitualmente, esta ferramenta abstrai a lógica proposicional em uma avaliação de estado finito, evitando prova teórica completa, mas fornecendo verificação determinista adequada para educação, testes e validação de design inicial. Seu valor reside em resultados imediatos e explicáveis sem instalação, com a possibilidade de exportar ou reutilizar contra-exemplos em relatórios ou testes. Funções principais: detecção automática de variáveis, avaliação exaustiva, normalização opcional para CNF/DNF e reporte configurável de resultados e formas intermediárias. Casos de uso típicos: validação de deveres, verificação de componentes lógicos em software e avaliações rápidas para cursos de lógica. Usuários se beneficiam de resultados reproduzíveis, contra-exemplos claros e integração com fluxos de trabalho automatizados.