Gerador de Tabela Verdade
Gere tabelas verdade para qualquer expressão de lógica booleana. Suporta operadores AND, OR, NOT, XOR, NAND, NOR, XNOR e condicionais. Visualize portas lógicas com avaliação animada.
Seu bloqueador de anúncios está impedindo a exibição de anúncios
O MiniWebtool é gratuito graças aos anúncios. Se esta ferramenta ajudou você, apoie-nos indo para o Premium (sem anúncios + ferramentas mais rápidas) ou coloque MiniWebtool.com na lista de permissões e recarregue a página.
- Ou faça upgrade para o Premium (sem anúncios)
- Permita anúncios para MiniWebtool.com e recarregue
Gerador de Tabela Verdade
O que é uma Tabela Verdade?
Uma tabela verdade é uma forma sistemática de listar todos os valores lógicos possíveis de uma expressão lógica. Para cada combinação de valores das variáveis de entrada (Verdadeiro ou Falso), a tabela mostra a saída resultante da expressão. As tabelas verdade são fundamentais em:
- Design de Lógica Digital — projetando circuitos com portas AND, OR, NOT
- Ciência da Computação — avaliando expressões condicionais e álgebra booleana
- Filosofia e Matemática — provas formais em lógica proposicional
- Engenharia de Software — testando todos os ramos da lógica condicional
Como Usar este Gerador de Tabela Verdade
Insira uma expressão booleana usando variáveis (A-H) e operadores lógicos. A ferramenta detectará automaticamente suas variáveis e gerará a tabela verdade completa, mostrando todas as combinações possíveis de entrada/saída.
- Use letras maiúsculas únicas (A, B, C, ..., H) como variáveis — até 8 variáveis suportadas
- Use parênteses ( ) para controlar a precedência dos operadores
- Clique nos botões de operadores ou digite os operadores diretamente
- Ative "Exibir Subexpressões" para ver as etapas intermediárias de cálculo
Precedência de Operadores (Da Maior para a Menor)
Quando não são usados parênteses, os operadores são avaliados nesta ordem:
- NOT (!, ~, ¬) — avaliado primeiro (maior precedência)
- AND (&&, &, ∧) — avaliado em segundo
- NAND — avaliado em terceiro
- XOR, XNOR (^, ⊕, ⊙) — avaliado em quarto
- OR (||, |, ∨) — avaliado em quinto
- NOR — avaliado em sexto
- IMPLIES (→, =>) — avaliado em sétimo
- BICONDITIONAL / IFF (↔, <=>) — avaliado por último (menor precedência)
Sintaxe de Operadores Suportada
| Operador | Sintaxe Aceita | Descrição | Exemplo |
|---|---|---|---|
| AND | AND, &&, &, ∧, · | Verdadeiro apenas quando ambos os operandos são verdadeiros | A AND B |
| OR | OR, ||, |, ∨, + | Verdadeiro quando pelo menos um operando é verdadeiro | A OR B |
| NOT | NOT, !, ~, ¬ | Inverte o valor de verdade | NOT A |
| XOR | XOR, ^, ⊕ | Verdadeiro quando os operandos diferem | A XOR B |
| NAND | NAND | Negação de AND | A NAND B |
| NOR | NOR | Negação de OR | A NOR B |
| XNOR | XNOR, ⊙ | Verdadeiro quando os operandos são iguais | A XNOR B |
| IMPLIES | →, =>, IMPLIES | Falso apenas quando P é verdadeiro e Q é falso | A → B |
| BICONDITIONAL | ↔, <=>, IFF | Verdadeiro quando ambos possuem o mesmo valor | A ↔ B |
Entendendo Min termos e Max termos
Min termos são as linhas onde a saída é 1 (Verdadeiro). A Soma de Min termos (SOP) expressa a função como um OR de termos AND. Max termos são as linhas onde a saída é 0 (Falso). O Produto de Max termos (POS) expressa a função como um AND de termos OR. Ambas as formas são essenciais na simplificação de lógica digital e análise de mapas de Karnaugh.
Cite este conteúdo, página ou ferramenta como:
"Gerador de Tabela Verdade" em https://MiniWebtool.com/br// de MiniWebtool, https://MiniWebtool.com/
O Gerador de Tabela Verdade utiliza regras padrão de álgebra booleana. Para mais informações, consulte Tabela verdade - Wikipédia.
Você também pode experimentar nosso Solucionador de Matemática AI GPT para resolver seus problemas de matemática através de perguntas e respostas em linguagem natural.