Gerador de Tabela Verdade

• Geração instantânea de tabela verdade: informe qualquer expressão booleana e gere uma tabela verdade completa na hora. O gerador analisa sua expressão no navegador e produz todas as 2ⁿ combinações de entrada com as saídas corretas — sem carregamento, sem ida e volta ao servidor.
• Gerador de tabela verdade online seguro: o gerador roda inteiramente no seu navegador. Suas expressões booleanas, fórmulas lógicas e tarefas de casa nunca são enviadas a servidor algum — sem coleta de dados, sem rastreamento, totalmente privado.
• Gerador de tabela verdade — sem instalação: use o gerador diretamente em qualquer navegador moderno, sem downloads, aplicativos ou plugins. Suporta AND, OR, NOT, XOR, NAND, NOR, XNOR, implicação (→) e bicondicional (↔) com até 8 variáveis.
• 100% grátis com suporte a várias expressões: o gerador de tabela verdade é totalmente gratuito, sem cadastro, sem limites de uso e sem anúncios. Informe várias expressões separadas por vírgulas para compará-las lado a lado em uma única tabela — perfeito para verificar equivalências lógicas e as leis de De Morgan.

• Trabalhos de ciência da computação: estudantes usam o gerador para concluir tarefas de matemática discreta e lógica digital. Informe qualquer expressão booleana do seu livro didático e verifique na hora sua tabela calculada à mão com a saída do gerador.
• Verificação de equivalências lógicas: use o gerador para provar ou refutar equivalências lógicas informando ambas as expressões como entradas separadas por vírgulas. Se as colunas de saída coincidirem em todas as linhas, as expressões são logicamente equivalentes — perfeito para verificar as leis de De Morgan e as propriedades distributivas.
• Projeto de circuitos digitais: engenheiros de hardware usam o gerador para definir o comportamento esperado de circuitos lógicos combinacionais antes da implementação. Gere tabelas verdade para meio-somadores, somadores completos, multiplexadores e combinações de portas personalizadas.
• Detecção de tautologias e contradições: o gerador detecta automaticamente tautologias (sempre verdadeiras) e contradições (sempre falsas) e exibe um selo claro. Isso é útil para verificar axiomas lógicos, conferir etapas de provas e identificar condições redundantes no código.
• Programação e lógica condicional: desenvolvedores usam o gerador para raciocinar sobre condições booleanas complexas no código. Mapeie as variáveis do seu comando if para A, B, C e informe a condição para ver todas as combinações de entrada possíveis e seus resultados antes de escrever o código.
• Ensino e demonstrações em sala de aula: educadores usam o gerador para demonstrar conceitos de álgebra booleana em tempo real. Os exemplos rápidos predefinidos cobrem AND, OR, NOT, XOR, NAND, NOR, as leis de De Morgan e o meio-somador — prontos para usar sem configuração.

Uma tabela verdade é uma tabela matemática usada em lógica para determinar a saída de uma expressão booleana para cada combinação possível de valores de entrada. Para n variáveis, uma tabela verdade tem 2ⁿ linhas — uma para cada combinação única de entradas VERDADEIRO e FALSO. Tabelas verdade são fundamentais para a álgebra booleana , o projeto de circuitos digitais, a lógica proposicional e a ciência da computação. Elas são usadas para verificar equivalências lógicas, provar tautologias, identificar contradições e definir o comportamento de portas lógicas. Nosso gerador de tabela verdade analisa qualquer expressão booleana escrita em notação padrão e produz a tabela verdade completa na hora no seu navegador — sem servidor, sem conta, sem espera.

1. Informe sua expressão booleana: digite uma ou mais expressões booleanas no campo de entrada, separadas por vírgulas. Use nomes de variáveis A-Z e qualquer operador suportado. O gerador extrai automaticamente todas as variáveis únicas e as ordena alfabeticamente como cabeçalhos de coluna.
2. Análise instantânea no navegador: clique em «Gerar tabela verdade» e o gerador tokeniza e analisa sua expressão usando um analisador descendente recursivo inteiramente no seu navegador. Nenhum dado da expressão é enviado a servidor algum — suas fórmulas lógicas permanecem totalmente privadas no seu dispositivo.
3. Revise a tabela completa: o gerador exibe todas as 2ⁿ linhas com colunas de entrada (cinza) e colunas de saída (destacadas). Valores VERDADEIRO aparecem em verde, FALSO em vermelho. Alterne entre a exibição T/F e 1/0. Várias expressões aparecem como colunas de saída lado a lado para facilitar a comparação.

• AND (∧): escreva AND , && ou & — retorna VERDADEIRO apenas quando ambas as entradas são VERDADEIRAS.
• OR (∨): escreva OR , || ou | — retorna VERDADEIRO quando ao menos uma entrada é VERDADEIRA.
• NOT (¬): escreva NOT , ! ou ~ — nega a entrada. Pode ser encadeado: NOT NOT A .
• XOR / NAND / NOR / XNOR / → / ↔: escreva XOR , NAND , NOR , XNOR , -> (implicação) ou <-> (bicondicional). Parênteses são totalmente suportados para agrupamento.

O gerador de tabela verdade avalia os operadores na seguinte ordem de precedência (da maior para a menor): NOT (maior) → NAND / XNOR → AND → NOR → XOR → OR → IMPLIES (→) → IFF (↔) (menor). Use parênteses para sobrepor a precedência — por exemplo, NOT (A AND B) é diferente de NOT A AND B . Em caso de dúvida, use sempre parênteses para deixar sua intenção explícita.