Quais operadores são suportados?

AND (também & ou &&), OR (também | ou ||), NOT (também ! ou ~), XOR (também ^), NAND, NOR, implicação (-> ou =>) e bicondicional ( ou ). Você pode misturar livremente formas de palavra-chave e símbolo.

Quantas variáveis posso usar?

Até 6 variáveis, o que produz uma tabela de 64 linhas. Além de 6, as tabelas se tornam impraticamente grandes para ler, então a calculadora mostra um erro em vez disso.

O que é uma tautologia?

Uma tautologia é uma expressão que resulta em verdadeiro para toda combinação possível de suas variáveis — por exemplo, 'A OR NOT A' é sempre verdadeira, não importa o valor de A.

O que é uma contradição?

Uma contradição é uma expressão que resulta em falso para toda combinação possível — por exemplo, 'A AND NOT A' nunca pode ser verdadeira.

Qual a diferença entre implicação e bicondicional?

A implicação (A -> B) é falsa apenas quando A é verdadeiro e B é falso — significa 'se A então B'. O bicondicional (A B) é verdadeiro apenas quando A e B têm o mesmo valor — significa 'A se e somente se B'.

Como os parênteses afetam a ordem das operações?

Sem parênteses, NOT é avaliado primeiro, depois AND/NAND, depois XOR, depois OR/NOR, depois implicação, depois bicondicional (nessa ordem, seguindo a convenção lógica padrão). Parênteses substituem isso e forçam um agrupamento específico a ser avaliado primeiro.

Qual a diferença entre NAND/NOR e AND/OR?

NAND é a negação de AND (verdadeiro a menos que ambas as entradas sejam verdadeiras), e NOR é a negação de OR (verdadeiro apenas quando ambas as entradas são falsas). Elas são a base do design de portas lógicas NAND/NOR, já que qualquer uma das portas sozinha pode construir qualquer outra função lógica.

Posso usar nomes de variáveis em minúsculas?

Sim, os nomes de variáveis diferenciam maiúsculas de minúsculas como identificadores, mas palavras-chave como AND/OR/NOT são reconhecidas independentemente de maiúsculas/minúsculas, então 'and' e 'AND' se comportam de forma idêntica como operadores.

Gerador de Tabela Verdade — Avalie Qualquer Expressão Booleana

Nosso Gerador de Tabela Verdade interpreta qualquer expressão booleana que você digitar — usando variáveis como A, B, C e operadores AND, OR, NOT, XOR, NAND, NOR, implicação (->) e bicondicional (<->) — e a avalia em todas as combinações possíveis de entradas verdadeiro/falso, até 6 variáveis. O resultado é uma tabela verdade completa e corretamente ordenada, com detecção automática se sua expressão é uma tautologia (sempre verdadeira), uma contradição (sempre falsa) ou uma contingência genuína.

Resposta rápida

Digite uma expressão booleana usando variáveis e operadores (AND, OR, NOT, XOR, NAND, NOR, ->, <->), e este gerador a avalia em cada combinação verdadeiro/falso das suas variáveis (até 6), produzindo uma tabela verdade completa e sinalizando tautologias ou contradições automaticamente.

Expressão booleana

Suporta AND, OR, NOT, XOR, NAND, NOR, -> (implica), <-> (se e somente se), e parênteses.

Como usar Gerador de Tabela Verdade — Expressões de Lógica Booleana Online

1
Digite uma expressão booleana usando variáveis (A, B, C, ...) e operadores como AND, OR, NOT, XOR, NAND, NOR, -> e <->.
2
Use parênteses para controlar a ordem de avaliação, assim como na álgebra.
3
Clique em 'Gerar' para construir a tabela verdade completa para cada combinação das suas variáveis.
4
Confira o aviso de tautologia/contradição para ver instantaneamente se sua expressão é sempre verdadeira ou sempre falsa.

Por que usar Gerador de Tabela Verdade — Expressões de Lógica Booleana Online?

Tabelas verdade são a forma definitiva de verificar o comportamento de uma expressão booleana — diferente de simplificar à mão, uma tabela verdade não pode esconder um erro lógico sutil, porque ela verifica literalmente cada combinação de entrada possível. Isso é essencial para design de lógica digital, programar corretamente instruções condicionais e cursos de lógica formal. Nosso gerador suporta o conjunto completo de operadores padrão, incluindo os operadores condicionais (implicação) e bicondicionais que muitas ferramentas mais simples ignoram, e sinaliza automaticamente tautologias e contradições, que são exatamente os padrões que indicam uma condição redundante ou quebrada em código real.

Perguntas frequentes

Ferramentas relacionadas

Calculadora de Bits — AND, OR, XOR, NOT, Deslocamentos Online

Realize operações a nível de bits — AND, OR, XOR, NOT, deslocamento à esquerda e à direita — em inteiros instantaneamente. Calculadora gratuita com diagrama visual interativo de bits para cada operação.

Calculadora de Teoria dos Conjuntos — União, Interseção, Diferença e Mais

Realize operações de conjuntos instantaneamente — união, interseção, diferença, diferença simétrica, produto cartesiano, conjunto das partes e complemento. Calculadora gratuita com resultados passo a passo.

Calculadora Científica — Calculadora Online Gratuita

Calculadora científica online gratuita com funções trigonométricas, logarítmicas, exponenciais e fatoriais. Alterne entre graus e radianos, use as teclas de memória e veja o histórico de cálculos.