Conversor de expressão booleana online
Converta expressões booleanas em tabela de verdade, DNF e CNF. Suporta até 6 variáveis, NOT, AND, OR. Exemplo: A && (B || !C). O processamento é feito localm…
Começar a usar
O que faz o conversor de expressões booleanas?
Esta ferramenta analisa uma expressão booleana e produz a tabela de verdade completa, bem como as formas normais disjuntiva (DNF) e conjuntiva (CNF) canónicas. É útil para verificar equivalências, simplificar circuitos lógicos ou estudar lógica proposicional.
Exemplo concreto
Para a expressão A && (B || !C), a tabela de verdade tem linhas verdadeiras para 100, 110 e 111 (onde 1 = verdadeiro, 0 = falso). A DNF começa por (A && !B && !C) || (A && B && !C) || (A && B && C).
Parâmetros e processamento
A ferramenta aceita até seis variáveis distintas. A precedência dos operadores é: NOT primeiro, depois AND, depois OR. A análise é feita localmente no navegador, sem usar eval nem executar código. Entradas com sintaxe inválida ou parênteses desequilibrados são rejeitadas.
Limitações
Não são suportados XOR, implicação, equivalência, constantes numéricas 0/1, diagramas de circuitos ou mais de seis variáveis. As formas canónicas não são minimizadas; para simplificação algébrica, use a ferramenta de mapa de Karnaugh.
Perguntas frequentes
Como são ordenadas as linhas da tabela de verdade?
As linhas são enumeradas com falso antes de verdadeiro para cada variável, sendo a última variável a que muda mais rapidamente. Por exemplo, para duas variáveis A e B, a ordem é 00, 01, 10, 11.
Posso usar nomes de variáveis com mais de uma letra?
Sim, mas apenas letras ASCII (A-Z, a-z). Os nomes são sensíveis a maiúsculas/minúsculas, pelo que a e A são variáveis diferentes. Os operadores por palavras (AND, OR, NOT) não são sensíveis a maiúsculas.
O que acontece se eu introduzir mais de seis variáveis?
A ferramenta mostra um erro em vez de ignorar variáveis adicionais. Isto evita tabelas de verdade excessivamente grandes e garante que o resultado é fiável.
Os dados são enviados para algum servidor?
Não. Toda a análise e geração da tabela são feitas localmente no seu navegador.
Verificação rápida
- Confirme que a expressão usa apenas os operadores suportados.
- Verifique se o número de variáveis é igual ou inferior a seis.
- Compare a DNF/CNF com a tabela de verdade para garantir a correção.
O processamento é feito localmente no navegador.