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

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.