Gerador de tabela verdade

Este gerador monta a tabela verdade de qualquer expressão da lógica proposicional: digite, por exemplo, A AND (B OR NOT C) e a tabela aparece com todas as etapas intermediárias. A ferramenta também diz se a expressão é uma tautologia, mostra a FND e a FNC e compara duas expressões.

Fonte: Wikipedia – Truth table (Aufbau, Zeilenzahl 2^n, Operatoren). Atualizado em: 2 de outubro de 2026.

Expressão lógica

As variáveis são letras isoladas (A–Z, até 8). Operadores: AND, OR, NOT, XOR, NAND, NOR, ->, <-> ou ∧ ∨ ¬ ⊕ → ↔; parênteses são permitidos

Segunda expressão para comparar (opcional)

Verifica se as duas expressões coincidem para todas as entradas, por exemplo nas leis de De Morgan

Como escrever os valores

Colocar primeiro a linha “tudo verdadeiro”Muitos livros começam assim; do contrário, a linha “tudo falso” fica no topo

Minha caixa de ferramentasSeus dados ficam salvos só neste navegador.

Resultado

Classificação: Satisfazível, mas não é tautologia – verdadeira em 3 de 8 linhas
Lida como: A ∧ (B ∨ ¬C)
Tabela verdade: A B C ¬C B ∨ ¬C A ∧ (B ∨ ¬C)
0 0 0 1 1 0
0 0 1 0 0 0
0 1 0 1 1 0
0 1 1 0 1 0
1 0 0 1 1 1
1 0 1 0 0 0
1 1 0 1 1 1
1 1 1 0 1 1
Forma normal disjuntiva (FND): (A ∧ ¬B ∧ ¬C) ∨ (A ∧ B ∧ ¬C) ∨ (A ∧ B ∧ C)
Forma normal conjuntiva (FNC): (A ∨ B ∨ C) ∧ (A ∨ B ∨ ¬C) ∧ (A ∨ ¬B ∨ C) ∧ (A ∨ ¬B ∨ ¬C) ∧ (¬A ∨ B ∨ ¬C)
Comparação: –

A	B	C	¬C	B ∨ ¬C	A ∧ (B ∨ ¬C)
0	0	0	1	1	0
0	0	1	0	0	0
0	1	0	1	1	0
0	1	1	0	1	0
1	0	0	1	1	1
1	0	1	0	0	0
1	1	0	1	1	1
1	1	1	0	1	1

Como o cálculo é feito

Uma tabela verdade lista, para cada combinação de valores verdadeiro e falso das variáveis, o valor que uma expressão lógica assume. Com n variáveis, ela tem 2 elevado a n linhas: duas variáveis dão 4 linhas, três dão 8 e oito dão 256. O gerador acrescenta uma coluna para cada subexpressão, para que você acompanhe a avaliação passo a passo.

Como digitar as expressões

E (∧): AND, & ou ∧. OU (∨): OR, | ou ∨. O sinal ^ é lido como AND.
NÃO (¬): NOT, NÃO, ! ou ¬. XOR (⊕): XOR ou ⊕. NAND e NOR também funcionam.
Implicação (→): -> ou →. Equivalência (↔): <-> ou ↔.
Precedência: NOT liga mais forte, depois AND, XOR, OR, → e por fim ↔. A seta → é lida da direita para a esquerda. Na dúvida, use parênteses; a linha “Lida como” mostra como a expressão foi entendida.

Tautologia, contradição e formas normais

Se a última coluna for verdadeira em todas as linhas, a expressão é uma tautologia (como A ∨ ¬A); se for falsa em todas, é uma contradição (A ∧ ¬A). O restante é satisfazível. A forma normal disjuntiva (FND) une as linhas verdadeiras com OU; a forma normal conjuntiva (FNC) nega as linhas falsas e as une com E. O segundo campo permite conferir leis como as de De Morgan: ¬(A ∧ B) e ¬A ∨ ¬B são equivalentes. Para converter números entre sistemas, use o conversor de bases, e para lógica bit a bit com números binários, a calculadora binária.

Perguntas frequentes

Como fazer uma tabela verdade?

Atribuem-se às variáveis todas as combinações de verdadeiro e falso (2 elevado a n linhas) e avalia-se a expressão de dentro para fora, uma subexpressão por coluna. O gerador faz isso sozinho e mostra todos os passos.

Como são as tabelas verdade de AND, OR e XOR?

AND só é verdadeiro se os dois valores forem verdadeiros. OR é verdadeiro se pelo menos um for. XOR é verdadeiro se exatamente um for. Digite A AND B, A OR B ou A XOR B para ver cada tabela.

O que é uma tautologia?

Uma expressão verdadeira para qualquer entrada, como A ∨ ¬A. O oposto, a contradição, é sempre falsa, por exemplo A ∧ ¬A.

O que são FND e FNC?

Formas normais de uma expressão. A FND é um OU de termos com E (um por linha verdadeira), a FNC um E de termos com OU (um por linha falsa). Ambas se leem direto na tabela.

Como verifico se duas expressões são equivalentes?

Digite as duas. A ferramenta as compara em todas as linhas e mostra um contraexemplo se forem diferentes. Equivalentes significa que têm o mesmo valor em cada linha.

Fontes e base legal

Última atualização: 2 de outubro de 2026 · Princípios editoriais