Como gerar a tabela
- Digite uma expressão com variáveis ou 0/1.
- Use NOT, AND, XOR, OR, -> e <-> ou símbolos.
- Gere; variáveis seguem a primeira aparição.
- Confira e copie a tabela tabulada.
Analisador e precedência
A expressão é analisada diretamente e nunca executada com eval ou Function. Precedência: NOT, AND, XOR, OR, implicação, equivalência.
n variáveis geram 2ⁿ linhas, no máximo 64. Implicação só é falsa em verdadeiro -> falso; equivalência exige valores iguais.
Expressões verificadas
A -> B gera 1,1,0,1; A XOR B gera 0,1,1,0.
A OR NOT A é tautologia; A AND NOT A é contradição.
Sintaxe e limites
- Nomes começam com letra ASCII e diferenciam maiúsculas.
- Erros de símbolo, operando, operador, parênteses e excesso são informados.
- Sem simplificação, prova, circuito, mapa K ou execução de código.
Perguntas frequentes
Por que seis variáveis?
Cada uma dobra as linhas; seis geram 64.
Qual precedência?
NOT, AND, XOR, OR, implicação, equivalência.
Qual ordem?
Primeira aparição, falso antes de verdadeiro.
O que são as classes?
Sempre verdadeira, sempre falsa ou mista.