KGKherian Gracher
PTEN
Menu
← Ferramentas

Lógica proposicional clássica

Tabelas de Verdade

Explore todas as valorações de uma fórmula e acompanhe como cada parte determina o resultado.

Conectivos: ¬ ∧ ∨ → ↔. Também aceitos: ~ & | -> <->. Use parênteses para explicitar o agrupamento.

Como ler e quais são os limites?

As variáveis aparecem em ordem alfabética. As valorações começam com todas verdadeiras e terminam com todas falsas. A última coluna mostra o valor da fórmula completa.

Até 10 variáveis, 1.024 linhas e 64 colunas. Tabelas maiores são bloqueadas para proteger o navegador. Esta versão não inclui constantes ⊥ e ⊤ nem fórmulas de outras lógicas.

Uma fórmula, todas as possibilidades.

Digite a fórmula e gere a tabela para explorar seus valores.

Cálculo local, sem conta. Fórmulas e resultados não são enviados nem armazenados. Ao sair ou recarregar, o trabalho é descartado.