Calculadora de Tabelas-Verdade

Use esta Calculadora de Tabelas-Verdade para informar valores, ajustar opções e consultar resultados em um espaço de trabalho compacto e responsivo.

Os resultados são calculados automaticamente enquanto você informa os dados.

Use variáveis como P, Q, A1 ou isRaining. Operadores: not, and, or, xor, ->, <->, TRUE, FALSE, além de símbolos lógicos comuns.

Formas equivalentes e valores-verdade manuais
Classificação Digite uma expressão válida.

▼ Veja explicações e dicas abaixo ▼

Calculadoras relacionadas

O que é uma tabela-verdade?

Uma tabela-verdade é uma forma sistemática de testar uma expressão lógica listando todas as combinações possíveis de valores lógicos de suas variáveis. Cada variável pode ser verdadeira ou falsa, e cada linha mostra o resultado da expressão completa para uma atribuição específica desses valores.

As tabelas-verdade são usadas na lógica proposicional, na lógica booleana, na matemática discreta, na ciência da computação e no raciocínio digital. Elas são úteis porque eliminam as suposições. Em vez de confiar na intuição sobre uma afirmação como “se \(P\), então \(Q\),” a truth table checks every possible case.

Por exemplo, se uma expressão usa duas variáveis, \(P\) e \(Q\), há quatro atribuições possíveis:

\(P\) \(Q\)
T T
T F
F T
F F

Depois que essas linhas são listadas, a expressão pode ser avaliada em cada uma delas. O padrão de resultados verdadeiros e falsos mostra se a expressão é sempre verdadeira, sempre falsa ou verdadeira apenas em alguns casos.

Por que as tabelas-verdade são importantes

As tabelas-verdade tornam o raciocínio lógico visível. Elas são especialmente úteis quando uma expressão tem vários conectivos, parênteses aninhados ou implicações que podem ser facilmente interpretadas de forma incorreta na linguagem comum.

Os estudantes usam tabelas-verdade para aprender como funcionam os conectivos lógicos. Estudantes de ciência da computação usam as mesmas ideias ao estudar expressões booleanas, instruções condicionais, portas lógicas e condições de programas. Na matemática, as tabelas-verdade ajudam a testar equivalência lógica, padrões de validade, satisfatibilidade e formas normais.

Uma tabela-verdade também é útil porque separa a estrutura de um argumento do conteúdo das frases. A variável \(P\) pode representar “o interruptor está ligado”, “o número é par” ou “o usuário está conectado”. A tabela-verdade se concentra apenas em saber se cada variável é verdadeira ou falsa e em como os conectivos combinam esses valores lógicos.

Termos importantes

  • Proposição: Uma afirmação que possui um valor lógico: verdadeiro ou falso.
  • Variável: Um símbolo como \(P\), \(Q\) ou is_valid que representa uma proposição.
  • Valor lógico: O valor verdadeiro ou falso, geralmente indicado por T ou F.
  • Conectivo lógico: Um operador que combina ou modifica proposições, como NOT, AND, OR, XOR, implicação ou bicondicional.
  • Atribuição de valores lógicos: Uma escolha específica de verdadeiro ou falso para cada variável.
  • Tautologia: Uma expressão verdadeira para todas as atribuições de valores lógicos possíveis.
  • Contradição: Uma expressão falsa para todas as atribuições de valores lógicos possíveis.
  • Contingência: Uma expressão verdadeira para algumas atribuições e falsa para outras.
  • Expressão satisfatível: Uma expressão verdadeira em pelo menos uma linha da sua tabela-verdade.
  • DNF: Forma normal disjuntiva, um OR de termos AND construído a partir das linhas em que a expressão é verdadeira.
  • CNF: Forma normal conjuntiva, um AND de termos OR construído a partir das linhas em que a expressão é falsa.

Como funcionam as tabelas-verdade

Uma tabela-verdade começa pelas variáveis da expressão. Se houver \(n\) variáveis distintas, cada variável terá dois valores possíveis, então a tabela completa terá:

$$ 2^n $$

linhas.

Por exemplo:

  • 1 variable gives \(2^1 = 2\) linhas.
  • 2 variables give \(2^2 = 4\) linhas.
  • 3 variables give \(2^3 = 8\) linhas.
  • 6 variables give \(2^6 = 64\) linhas.

Depois que as linhas são listadas, a expressão é avaliada usando os significados dos conectivos lógicos.

Conectivo Leitura comum Regra básica
$
eg P$ não \(P\) Verdadeiro quando \(P\) é falso
\(P \land Q\) \(P\) e \(Q\) Verdadeiro somente quando ambos são verdadeiros
\(P \lor Q\) \(P\) ou \(Q\) Verdadeiro quando pelo menos um é verdadeiro
\(P \oplus Q\) \(P\) xor \(Q\) Verdadeiro quando exatamente um é verdadeiro
\(P \to Q\) se \(P\), então \(Q\) Falso somente quando \(P\) é verdadeiro e \(Q\) é falso
\(P \leftrightarrow Q\) \(P\) se, e somente se, \(Q\) Verdadeiro quando os dois lados têm o mesmo valor lógico

A regra da implicação material costuma ser escrita como:

$$ P \to Q \equiv \neg P \lor Q $$

Isso significa que uma implicação é falsa somente quando o antecedente \(P\) é verdadeiro, mas o consequente \(Q\) é falso. Uma bicondicional pode ser entendida como a correspondência entre os dois lados:

$$ P \leftrightarrow Q \equiv (P \land Q) \lor (\neg P \land \neg Q) $$

A coluna final da tabela-verdade contém o valor da expressão completa. É essa coluna que determina a classificação:

  • Se todos os resultados forem verdadeiros, a expressão será uma tautologia.
  • Se todos os resultados forem falsos, a expressão será uma contradição.
  • Se alguns resultados forem verdadeiros e outros forem falsos, a expressão será uma contingência.

Exemplos práticos de tabelas-verdade

Exemplo 1: uma expressão AND simples

Considere:

$$ P \land Q $$

Essa expressão é verdadeira somente quando \(P\) e \(Q\) são verdadeiros.

\(P\) \(Q\) \(P \land Q\)
T T T
T F F
F T F
F F F

There is 1 true row and 3 false linhas. Because the expression is true in some cases and false in others, it is a contingency.

Exemplo 2: uma tautologia envolvendo implicação

Considere:

$$ (P \land (P \to Q)) \to Q $$

This expression captures a familiar reasoning pattern: if \(P\) is true and \(P\) implies \(Q\), then \(Q\) follows. The complete truth table has two variables, so it has \(2^2 = 4\) linhas.

\(P\) \(Q\) \(P \to Q\) \(P \land (P \to Q)\) \((P \land (P \to Q)) \to Q\)
T T T T T
T F F F T
F T T F T
F F T F T

A coluna final é verdadeira em todas as linhas, então a expressão é uma tautologia.

Exemplo 3: XOR como um caso-limite comum

Considere:

$$ P \oplus Q $$

XOR é verdadeiro quando exatamente um dos lados é verdadeiro. Ele é falso quando os dois lados coincidem.

\(P\) \(Q\) \(P \oplus Q\)
T T F
T F T
F T T
F F F

Há 2 linhas verdadeiras e 2 linhas falsas, então essa expressão é uma contingência. Este é um exemplo útil porque o “ou” comum geralmente é inclusivo na lógica proposicional, enquanto XOR é exclusivo.

Como interpretar o resultado

A classificação principal informa o comportamento lógico geral da expressão.

Uma tautologia significa que a expressão sempre resulta em verdadeiro. Independentemente de como as variáveis são atribuídas, a coluna final contém apenas T. As tautologias geralmente representam leis lógicas, padrões de raciocínio válidos ou expressões verdadeiras por sua própria estrutura.

Uma contradição significa que a expressão sempre resulta em falso. Ela não tem nenhuma atribuição que a satisfaça. Por exemplo, \(P \land \neg P\) nunca pode ser verdadeiro porque \(P\) não pode ser verdadeiro e falso na mesma atribuição.

Uma contingência significa que a expressão depende da atribuição. Ela é verdadeira em alguns casos e falsa em outros. A maioria das expressões lógicas comuns é uma contingência.

A contagem de linhas verdadeiras informa quantas atribuições satisfazem a expressão. Se uma expressão com três variáveis tem 5 linhas verdadeiras, então 5 das \(2^3 = 8\) atribuições possíveis a tornam verdadeira.

The false-row count tells you how many assignments do not satisfy the expression. The true-row count and false-row count should add up to the total number of linhas.

A própria tabela-verdade mostra o padrão completo. Uma avaliação manual de uma única linha é útil para verificar uma atribuição escolhida, mas é a tabela-verdade completa que fundamenta a classificação como tautologia, contradição ou contingência.

DNF and CNF forms should be read as equivalent ways to describe the same truth pattern. DNF builds an expression from the true rows, while CNF builds an expression from the false linhas. If the expression has many true or false rows, the displayed DNF or CNF may be a preview instead of the full expanded form.

Erros e equívocos comuns

Um erro comum é esquecer que a implicação tem um significado específico na tabela-verdade. Na lógica proposicional, \(P \to Q\) é falso somente quando \(P\) é verdadeiro e \(Q\) é falso. Isso pode parecer diferente das afirmações cotidianas com “se”, por isso vale a pena verificar as linhas diretamente.

Outro erro é confiar na proximidade em vez de usar um operador. Escrever duas variáveis lado a lado não significa automaticamente AND. Use um conectivo explícito, como \(P \land Q\) ou P AND Q.

Os parênteses também são importantes. Expressões como \(P \lor Q \land R\) podem ser interpretadas incorretamente se a precedência dos operadores não estiver clara. Os parênteses deixam visível o agrupamento pretendido:

$$ P \lor (Q \land R) $$

não têm o mesmo agrupamento que:

$$ (P \lor Q) \land R $$

Às vezes, os usuários também não percebem que TRUE e FALSE são constantes integradas. Nesta calculadora, elas são valores lógicos reservados que não diferenciam maiúsculas de minúsculas e não se tornam variáveis. Elas podem ser usadas sozinhas ou combinadas com operadores compatíveis.

Another misconception is that DNF or CNF is always short. Full DNF and CNF can grow quickly because they are built from truth-table linhas. For large expressions, an expanded normal form can be correct but not convenient to read.

Quando usar tabelas-verdade

Use tabelas-verdade quando precisar:

  • aprender como os conectivos lógicos se comportam;
  • testar se uma expressão é uma tautologia, uma contradição ou uma contingência;
  • contar as atribuições que tornam uma expressão verdadeira ou falsa;
  • comparar expressões quanto à equivalência lógica;
  • entender a implicação, a bicondicional, XOR e outros conectivos linha por linha;
  • construir ou verificar formas DNF e CNF;
  • depurar condições booleanas em programação ou em sistemas de lógica digital;
  • praticar lógica proposicional em cursos de matemática, ciência da computação, filosofia ou estruturas discretas.

As tabelas-verdade são mais adequadas quando o número de variáveis é pequeno. Elas são completas e fáceis de verificar, mas o número de linhas dobra a cada variável adicional.

Limitações e pontos importantes

Truth tables are exact for propositional logic, but they only work within the assumptions of propositional logic. Each variable must represent a proposition that is either true or false. The method does not handle statements with quantifiers, predicates, functions, arithmetic comparisons, or changing meanings across linhas.

Por exemplo, uma tabela-verdade proposicional pode lidar com:

$$ P \to Q $$

mas não analisa a estrutura interna de uma afirmação da lógica de predicados, como:

$$ \forall x\, P(x) $$

The calculator is designed for readable truth tables, so it supports expressions with up to six distinct variables. This keeps the maximum complete table at \(2^6 = 64\) linhas. Expressions with more variables can be valid logical expressions in theory, but the table grows quickly and becomes harder to read.

A calculadora avalia variáveis e conectivos proposicionais compatíveis. Os nomes das variáveis devem começar com uma letra e podem conter letras, dígitos ou sublinhados. Os operadores devem ser escritos explicitamente. Os parênteses devem ser fechados corretamente, e uma notação incompatível produzirá uma mensagem de expressão inválida.

As constantes TRUE e FALSE são compatíveis sem variáveis. As palavras dos operadores e as constantes não diferenciam maiúsculas de minúsculas e são reservadas, enquanto os nomes das variáveis diferenciam maiúsculas de minúsculas.

Da maior para a menor precedência, a calculadora usa NOT, AND, XOR, OR, implicação e bicondicional. A implicação é associativa à direita. Use parênteses sempre que quiser um agrupamento diferente.

As expressões estão limitadas a 2.000 caracteres, 500 tokens ou nós da árvore sintática, 100 níveis de aninhamento e seis variáveis distintas. Exceder um limite produz um erro de validação controlado, e não uma tabela incompleta.

As formas DNF e CNF são geradas mecanicamente a partir da tabela-verdade. Elas são úteis para visualizar uma forma equivalente, mas uma forma completamente expandida pode ser longa. Quando seriam exibidos mais de oito termos, a calculadora identifica o resultado e o valor copiado como uma prévia e informa quantos termos foram omitidos.

Como usar esta calculadora

  1. Digite uma expressão de lógica proposicional no campo de expressão.
  2. Use TRUE, FALSE ou operadores compatíveis, como NOT, AND, OR, XOR, -> e <->, ou símbolos compatíveis, como \(\neg\), \(\land\), \(\lor\), \(\oplus\), \(\to\) e \(\leftrightarrow\).
  3. Adicione parênteses quando o agrupamento for importante.
  4. Confira o resultado principal para saber se a expressão é uma tautologia, uma contradição ou uma contingência.
  5. Verifique a lista de variáveis e as contagens de linhas verdadeiras e falsas.
  6. Leia a tabela-verdade para ver cada atribuição de valores lógicos e o valor resultante da expressão.
  7. Use o controle manual de linhas para testar uma atribuição selecionada de valores T/F.
  8. Confira as formas ou prévias DNF e CNF para ver padrões equivalentes de formas normais.

Perguntas frequentes

O que significa uma expressão ser uma tautologia?

Uma tautologia é verdadeira em todas as linhas da sua tabela-verdade. Isso significa que a expressão é verdadeira independentemente de como suas variáveis são atribuídas. As tautologias são frequentemente usadas para identificar leis lógicas ou padrões de raciocínio válidos.

Qual é a diferença entre uma contradição e uma contingência?

Uma contradição é falsa em todas as linhas, portanto não existe atribuição que a satisfaça. Uma contingência tem linhas verdadeiras e falsas, o que significa que seu valor lógico depende dos valores atribuídos às suas variáveis.

Por que uma tabela-verdade tem \(2^n\) linhas?

Cada uma das \(n\) variáveis tem dois valores lógicos possíveis: verdadeiro ou falso. Multiplicar as duas opções de cada variável resulta em \(2^n\) atribuições no total.

Por que \(P \to Q\) é verdadeiro quando \(P\) é falso?

Na lógica proposicional verifuncional, a implicação é tratada como o condicional material. Seu único caso falso ocorre quando \(P\) é verdadeiro e \(Q\) é falso. Quando \(P\) é falso, esse contraexemplo específico não ocorre, então a implicação é verdadeira na tabela-verdade.

Qual é a diferença entre DNF e CNF?

DNF is an OR of terms that correspond to true linhas. CNF is an AND of clauses that correspond to false linhas. Both can describe an expression equivalent to the original truth-table pattern, but expanded DNF and CNF can become long.

Esta calculadora lida com lógica de predicados?

Não. Ela é destinada a expressões de lógica proposicional formadas por variáveis e conectivos verifuncionais compatíveis. Notações de predicados, como \(P(x)\), quantificadores, como \(\forall\) ou \(\exists\), e comparações aritméticas estão fora do formato de entrada compatível.

Por que a calculadora limita as expressões a seis variáveis?

Uma tabela-verdade completa dobra de tamanho a cada variável adicional. Seis variáveis já produzem \(2^6 = 64\) linhas, o que ainda é legível. Mais variáveis tornariam a tabela muito maior e menos prática para aprender ou conferir rapidamente.

Fontes e referências

Livros e livros didáticos abertos

  1. P. D. Magnus, Tim Button, Robert Trueman, Richard Zach, with contributions by J. Robert Loftis and Aaron Thomas-Bolduc. forall x: Calgary: An Introduction to Formal Logic. University of Calgary / Open Logic Project, Fall 2025 online revision. Relevant chapters used: Chapter 9, “Characteristic Truth Tables”; Chapter 10, “Truth-Functional Conectivos”; Chapter 11, “Complete Truth Tables”; Chapter 12, “Semantic Concepts”; Chapter 45, “Normal Forms.” https://forallx.openlogicproject.org/
  2. Donna Kirk and OpenStax contributors. Contemporary Mathematics. OpenStax, Rice University, 2023. Relevant sections used: Chapter 2.3, “Constructing Truth Tables”; Chapter 2.4, “Truth Tables for the Conditional and Biconditional”; Chapter 2 Key Concepts. https://openstax.org/books/contemporary-mathematics/pages/1-introduction