Calculadora de tabela-verdade: avalie NÃO, E, OU e implicação passo a passo
Uma calculadora de tabela-verdade recebe uma proposição lógica construída a partir de variáveis proposicionais como p e q, lista todas as combinações possíveis de valores verdadeiro (V) e falso (F) que essas variáveis podem assumir, e avalia a proposição linha por linha. A lógica proposicional reduz qualquer argumento a proposições que são verdadeiras ou falsas, e os operadores lógicos — NÃO, E, OU e implicação (→) — combinam essas proposições simples em expressões mais complexas. Como cada variável tem exatamente dois valores possíveis, uma proposição com n variáveis tem exatamente 2ⁿ linhas: duas variáveis produzem 4 linhas, três variáveis produzem 8 linhas, e assim por diante. Este guia trabalha os operadores principais à mão, constrói um exemplo de calculadora de tabela-verdade para a implicação e para uma expressão de três variáveis, e usa as leis de De Morgan para provar que duas proposições escritas de forma diferente são proposições equivalentes na álgebra booleana.
Conteúdo
- 01O que é uma calculadora de tabela-verdade?
- 02Como funcionam os operadores lógicos básicos NÃO, E e OU?
- 03Como uma calculadora de tabela-verdade avalia a implicação (p → q)?
- 04Como é a tabela-verdade de (p ∧ q) → r?
- 05Como usar uma calculadora de tabela-verdade para provar proposições equivalentes?
- 06Que erros você deve evitar ao construir uma tabela-verdade à mão?
- 07Como você pode verificar seu trabalho de álgebra booleana?
- 08Use a calculadora de tabela-verdade da Solvify para verificar sua lógica
O que é uma calculadora de tabela-verdade?
Uma calculadora de tabela-verdade é uma ferramenta que lista todas as combinações possíveis de verdadeiro/falso para as variáveis de uma proposição lógica e calcula o valor da proposição para cada combinação. Algumas pessoas chamam a mesma ideia de gerador de tabela-verdade, já que ele gera automaticamente o conjunto completo de linhas em vez de exigir que você as escreva à mão todas as vezes. Na lógica proposicional, uma variável como p ou q representa uma proposição que é verdadeira ou falsa — nunca ambas, nunca nenhuma — e os operadores lógicos permitem construir proposições compostas a partir desses blocos simples. A razão pela qual as tabelas-verdade importam vai além de um exercício de sala de aula. Estudantes de ciência da computação as usam para projetar circuitos lógicos digitais, em que cada porta lógica — E, OU, NÃO, NAND, XOR — corresponde diretamente a uma tabela-verdade, e o comportamento geral de um circuito é a tabela-verdade de todas as portas conectadas entre si. Engenheiros de software usam as mesmas tabelas para simplificar instruções condicionais no código, filtros de consultas de banco de dados e lógica de busca, já que um if aninhado e confuso costuma ser apenas uma expressão de álgebra booleana ainda não simplificada. Cursos de filosofia e matemática usam tabelas-verdade para testar se um argumento é logicamente válido, independentemente de suas afirmações individuais serem verdadeiras no mundo real. Depois que você souber construir uma tabela-verdade à mão, uma calculadora passa a ser uma forma de verificar seu trabalho, e não um substituto para compreendê-lo.
Uma tabela-verdade é simplesmente cada combinação de entrada possível para uma proposição lógica, associada ao resultado que cada combinação produz.
Como funcionam os operadores lógicos básicos NÃO, E e OU?
Antes de abordar a implicação ou expressões com várias variáveis, ajuda fixar bem os três operadores lógicos mais simples, já que toda proposição mais complexa é, na verdade, apenas NÃO, E e OU combinados e aninhados de formas diferentes.
1. NÃO p (negação)
NÃO simplesmente inverte o valor de verdade de uma proposição. p | NÃO p V | F F | V Se p é "o céu é azul" e p é verdadeiro, então NÃO p — "o céu não é azul" — é falso. A negação é o único operador aqui que atua sobre uma única variável, em vez de combinar duas.
2. p E q (conjunção)
E só é verdadeiro quando ambas as proposições são verdadeiras. p | q | p E q V | V | V V | F | F F | V | F F | F | F De quatro linhas possíveis, apenas uma — p e q ambos verdadeiros — torna toda a proposição verdadeira. Este é o mais rígido dos operadores lógicos básicos: uma única entrada falsa já basta para tornar toda a conjunção falsa.
3. p OU q (disjunção)
OU é verdadeiro sempre que pelo menos uma proposição é verdadeira. p | q | p OU q V | V | V V | F | V F | V | V F | F | F Somente a linha em que p e q são ambos falsos torna a disjunção falsa. Este é o OU inclusivo usado em toda a lógica proposicional e na álgebra booleana — ambas as proposições sendo verdadeiras ainda conta como verdadeiro, ao contrário do "ou... ou" do dia a dia, que implica exatamente uma das duas.
NÃO inverte um único valor; E exige que tudo seja verdadeiro; OU só falha quando tudo é falso.
Como uma calculadora de tabela-verdade avalia a implicação (p → q)?
A implicação, escrita p → q e lida "se p então q", é o operador lógico que mais confunde, porque não corresponde a como as afirmações "se... então" soam na conversa cotidiana. Uma calculadora de tabela-verdade a avalia com apenas uma regra: p → q é falsa em exatamente uma situação — quando p é verdadeiro mas q é falso — e verdadeira em todos os outros casos.
1. Passo 1 — Liste todas as combinações de p e q
Com duas variáveis, há 2² = 4 linhas: VV, VF, FV, FF.
2. Passo 2 — Aplique a regra da implicação a cada linha
p | q | p → q V | V | V V | F | F F | V | V F | F | V A única linha falsa é V, F — p prometeu q, e q não aconteceu.
3. Passo 3 — Interprete as duas linhas verdadeiras "surpreendentes"
Quando p é falso (linhas FV e FF), a implicação é verdadeira independentemente de q, porque uma premissa falsa torna a proposição "vacuamente verdadeira" — você não pode quebrar uma promessa que nunca fez de fato. Essa é a parte da tabela-verdade da implicação que parece menos intuitiva, mas é essencial para a lógica proposicional.
4. Passo 4 — Confirme com um exemplo real
"Se chover, o chão fica molhado." Se não chover (p é falso), a afirmação não foi contradita, não importa como o chão esteja — e é exatamente por isso que as linhas FV e FF são verdadeiras.
p → q é falsa em exatamente uma linha: p verdadeiro, q falso. Qualquer outra combinação torna a implicação verdadeira.
Como é a tabela-verdade de (p ∧ q) → r?
Adicionar uma terceira variável multiplica o número de linhas: 2³ = 8. A expressão (p ∧ q) → r é lida "se p e q são ambos verdadeiros, então r é verdadeiro", e construir sua tabela-verdade significa calcular uma coluna intermediária, p ∧ q, antes de aplicar a regra da implicação em relação a r.
1. Passo 1 — Liste as 8 combinações de p, q e r
Com três variáveis, percorra cada combinação em uma ordem fixa para que nenhuma linha seja pulada ou repetida: VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF.
2. Passo 2 — Calcule a coluna intermediária p ∧ q
p ∧ q é verdadeiro apenas nas duas linhas em que p e q são ambos verdadeiros (VVV e VVF), e falso nas outras seis linhas.
3. Passo 3 — Aplique a implicação entre (p ∧ q) e r
p | q | r | p∧q | (p∧q)→r V | V | V | V | V V | V | F | V | F V | F | V | F | V V | F | F | F | V F | V | V | F | V F | V | F | F | V F | F | V | F | V F | F | F | F | V
4. Passo 4 — Interprete o resultado
A única linha falsa é VVF: p e q são ambos verdadeiros, mas r é falso — o único caso em que o antecedente (p ∧ q) vale, mas o consequente não. Todas as outras linhas são verdadeiras, seja porque r é verdadeiro, seja porque p ∧ q já era falso, tornando a implicação vacuamente verdadeira.
Das 8 linhas possíveis para (p ∧ q) → r, apenas uma torna toda a proposição falsa: p e q verdadeiros, r falso.
Como usar uma calculadora de tabela-verdade para provar proposições equivalentes?
Duas proposições são proposições equivalentes quando suas tabelas-verdade produzem colunas de saída idênticas em todas as linhas — não apenas em alguns exemplos, mas em toda combinação possível de entradas. É exatamente assim que se usa uma calculadora de tabela-verdade para provar um dos resultados mais úteis da álgebra booleana: as leis de De Morgan, que afirmam que ¬(p ∧ q) é equivalente a ¬p ∨ ¬q.
1. Passo 1 — Construa as colunas de p ∧ q e sua negação
p | q | p∧q | ¬(p∧q) V | V | V | F V | F | F | V F | V | F | V F | F | F | V
2. Passo 2 — Construa as colunas de ¬p, ¬q e sua disjunção
p | q | ¬p | ¬q | ¬p∨¬q V | V | F | F | F V | F | F | V | V F | V | V | F | V F | F | V | V | V
3. Passo 3 — Compare as duas colunas de saída
¬(p∧q): F, V, V, V ¬p∨¬q: F, V, V, V As duas colunas coincidem em todas as linhas, o que é a definição de equivalência lógica — as proposições são apenas duas formas diferentes de escrever a mesma coisa.
4. Passo 4 — Generalize o padrão
A segunda lei de De Morgan funciona da mesma forma: ¬(p ∨ q) é equivalente a ¬p ∧ ¬q. Em ambas as leis, negar uma expressão inteira inverte o operador (E vira OU, OU vira E) e distribui a negação sobre cada variável — uma regra que aparece constantemente ao simplificar expressões de álgebra booleana em código e no design de lógica digital.
Quando duas tabelas-verdade produzem a mesma coluna de saída em todas as linhas, as proposições são proposições equivalentes — não importa quão diferentes pareçam quando escritas.
Que erros você deve evitar ao construir uma tabela-verdade à mão?
A maioria das tabelas-verdade incorretas vem de um punhado de deslizes previsíveis, e não de um mal-entendido sobre os próprios operadores lógicos. Conhecê-los com antecedência poupa muita revisão.
1. Pular ou duplicar uma linha
Com n variáveis, deve haver exatamente 2ⁿ linhas, percorridas em uma ordem consistente (como contar em binário: VVV, VVF, VFV...). Uma linha faltando ou repetida significa que a tabela não cobre de fato todos os casos, o que invalida qualquer verificação de equivalência feita a partir dela.
2. Confundir a implicação com "e"
p → q não é o mesmo que p ∧ q. A implicação é falsa em exatamente uma linha (p verdadeiro, q falso); a conjunção é falsa em três linhas. Confundir as duas é o erro de tabela-verdade mais comum na lógica proposicional.
3. Esquecer a precedência dos operadores
Em (p ∧ q) → r, os parênteses importam — ∧ deve ser avaliado antes de →. Sem eles, p ∧ (q → r) é uma proposição completamente diferente, com uma tabela-verdade diferente.
4. Aplicar a lei de De Morgan pela metade
Negar ¬(p ∧ q) como ¬p ∧ ¬q — esquecendo de também trocar E por OU — produz uma proposição que não é equivalente à original. Tanto o operador quanto cada variável devem ser negados juntos.
Quase todo erro em tabela-verdade é uma linha esquecida, um operador confundido ou uma negação incompleta — não uma falha na lógica em si.
Como você pode verificar seu trabalho de álgebra booleana?
Antes de confiar em uma tabela-verdade construída à mão, faça algumas verificações rápidas, assim como faria com qualquer outro cálculo de várias etapas.
1. Recontar as linhas
Uma proposição com n variáveis deve ter exatamente 2ⁿ linhas. Duas variáveis: 4 linhas. Três variáveis: 8 linhas. Se a contagem estiver errada, uma linha foi pulada ou duplicada.
2. Verifique por amostragem as linhas falsas em relação à regra
Para a implicação, apenas p-verdadeiro-q-falso deve ser falsa. Para a conjunção, apenas tudo-verdadeiro deve ser verdadeiro. Se o resultado de uma linha não corresponder à regra que define o operador, reverifique especificamente essa linha.
3. Teste a equivalência com a coluna inteira, não com uma linha
Duas expressões que coincidem em três das quatro linhas não são equivalentes — cada linha precisa coincidir. Use um gerador ou calculadora de tabela-verdade para verificar a coluna inteira de uma vez quando uma verificação manual parecer incerta.
Conte as linhas, verifique a regra que define o operador em relação aos casos falsos, e nunca chame duas proposições de equivalentes até que cada linha coincida.
Use a calculadora de tabela-verdade da Solvify para verificar sua lógica
Depois que você entende como NÃO, E, OU e implicação se comportam linha por linha, uma calculadora de tabela-verdade passa a ser uma forma de verificar seu próprio raciocínio, e não um atalho para evitá-lo. O solucionador passo a passo da Solvify constrói cada linha de uma expressão lógica individualmente, mostrando as colunas intermediárias — como p ∧ q antes de aplicar a implicação — para que você possa comparar sua tabela feita à mão com ela e encontrar exatamente onde ocorreu um erro, seja uma linha pulada, um operador aplicado incorretamente ou uma lei de De Morgan aplicada pela metade. Trabalhar primeiro uma tabela-verdade à mão e usar uma calculadora apenas para confirmar as colunas finais constrói o tipo de fluência que permanece em cursos de lógica proposicional e álgebra booleana — reconhecer de imediato que a implicação tem exatamente uma linha falsa, que uma proposição de três variáveis precisa de oito linhas, e que duas expressões só são proposições equivalentes quando cada linha coincide, bem antes de qualquer calculadora confirmar isso para você.
O objetivo de uma calculadora de tabela-verdade deve ser confirmar seu raciocínio, não substituí-lo — trabalhe a tabela à mão primeiro, depois verifique.
Artigos relacionados
Resolução de problemas matemáticos passo a passo: uma estrutura repetível para qualquer problema
A mesma abordagem linha por linha e verificada por regras usada para tabelas-verdade se aplica a qualquer problema matemático ou lógico estruturado.
Ajuda com deveres de ciência da computação: um guia prático
Tabelas-verdade e álgebra booleana são blocos fundamentais para matemática discreta e cursos de lógica digital.
Ajuda com deveres de programação: depurar e aprender mais rápido
Simplificar a lógica condicional no código depende das mesmas regras de álgebra booleana usadas para construir tabelas-verdade.
Solucionadores matemáticos
Soluções passo a passo
Veja cada linha e coluna intermediária de uma tabela-verdade resolvida por completo, não apenas a resposta final.
Tutor de matemática com IA
Faça perguntas complementares sobre implicação, leis de De Morgan ou qualquer operador lógico até entender de vez.
Modo de prática
Pratique mais problemas de tabela-verdade e álgebra booleana para ganhar velocidade e precisão.