Sobre o Gerador de Tabela Verdade
O Gerador de Tabela Verdade é uma ferramenta gratuita que monta a tabela verdade de qualquer expressão da lógica proposicional direto no navegador. Você digita a fórmula usando variáveis e conectivos lógicos, e a ferramenta detecta as variáveis, gera todas as 2n combinações de verdadeiro e falso, avalia cada linha e ainda informa se a expressão é uma tautologia, uma contradição ou uma contingência. Tudo roda 100% no seu dispositivo: nada é enviado a servidores e funciona offline depois que a página carrega.
Como usar
Escreva a expressão no campo, por exemplo (A E B) OU NÃO C, e clique em Gerar tabela verdade. Use os botões de conectivo para inserir os símbolos sem decorar a sintaxe, ou clique em um dos exemplos prontos. Variáveis podem ser letras A–Z ou p, q, r. Os conectivos aceitos são: E / AND / ∧, OU / OR / ∨, NÃO / NOT / ¬ / ~, condicional → / ->, bicondicional ↔ / <-> e XOR (ou exclusivo). Agrupe partes com parênteses. Depois é possível copiar a tabela em texto ou baixar em CSV para abrir no Excel ou no Google Planilhas.
Para que serve
- Estudar lógica proposicional em filosofia, matemática discreta e computação
- Gerar tabela verdade de provas e exercícios de forma instantânea e sem erro de cálculo
- Conferir equivalências, como verificar se duas fórmulas têm a mesma coluna de resultado
- Identificar tautologia, contradição e contingência de uma só vez
- Validar condições booleanas usadas em programação, circuitos digitais e regras de negócio
- Preparar material didático para aulas e listas de exercícios
Perguntas frequentes
Como gerar tabela verdade de uma expressão?
Digite a expressão usando variáveis (A, B, p, q...) e os conectivos lógicos, clique em gerar e a ferramenta detecta automaticamente as variáveis, monta todas as 2n linhas e avalia o resultado de cada uma. Não é preexigido nenhum conhecimento de sintaxe avançada.
Quais conectivos da lógica proposicional são suportados?
Conjunção (E, AND, ∧), disjunção (OU, OR, ∨), negação (NÃO, NOT, ¬, ~), condicional (→, ->), bicondicional (↔, <->) e ou exclusivo (XOR). A negação tem a maior precedência e o condicional associa à direita; use parênteses para deixar o agrupamento explícito.
O que significa tautologia, contradição e contingência?
Uma tautologia é verdadeira em todas as linhas da tabela verdade; uma contradição é falsa em todas; e uma contingência é verdadeira em algumas e falsa em outras. A ferramenta classifica sua expressão automaticamente assim que a tabela é gerada.
Tem limite de variáveis e é seguro?
O limite é de 12 variáveis (até 4096 linhas), o suficiente para praticamente qualquer exercício. É totalmente seguro: a expressão é interpretada por um analisador próprio, sem usar execução de código bruto, e nada sai do seu navegador.
