Gerador de tabela verdade online

O que faz esta ferramenta?

Esta ferramenta avalia expressões booleanas e constrói a tabela verdade correspondente. É útil para estudantes de lógica, programadores e qualquer pessoa que precise verificar o comportamento de uma expressão lógica.

Exemplo prático

Introduza a expressão A && !B. A tabela verdade terá duas variáveis (A e B) e quatro linhas. Na linha em que A=1 e B=0, o resultado será 1 (verdadeiro); nas restantes, será 0.

Parâmetros e processamento

• A expressão pode ter até 1000 caracteres.
• São permitidas no máximo seis variáveis distintas, o que gera até 64 linhas de atribuições.
• As linhas são enumeradas de todas a zeros até todas a uns, com as variáveis ordenadas pela primeira ocorrência na expressão.
• A precedência dos operadores é: primeiro NOT, depois AND, e por fim OR.
• O resultado é apresentado como texto separado por tabulações, com uma coluna por variável e uma coluna final com 0 ou 1.

Limitações

Esta ferramenta é um avaliador booleano, não um simulador de circuitos nem um simplificador. Não suporta XOR, implicação, igualdade, valores bit a bit, lógica multi-valorada, don't-cares ou ordem de variáveis escolhida pelo utilizador. O parser rejeita caracteres não suportados e parênteses desemparelhados.

Perguntas frequentes

Posso usar nomes de variáveis com mais de uma letra?

Sim, pode usar nomes de variáveis ASCII (por exemplo, var1, x), desde que sejam consistentes. A ordem das variáveis é determinada pela primeira ocorrência na expressão.

O que acontece se eu usar um operador não suportado, como XOR?

A ferramenta rejeita a expressão, pois apenas aceita !, &&, || (ou as palavras NOT, AND, OR) e parênteses. Não é possível usar XOR, implicação ou outros operadores.

Como é apresentado o resultado?

O resultado é texto simples separado por tabulações, com uma coluna para cada variável e uma coluna final com 0 ou 1. Pode copiar e colar noutros programas, como folhas de cálculo.

Nota: Esta ferramenta é apenas para fins educativos e de verificação lógica; não substitui software de análise formal.