Gerador de tabela-verdade

Digite uma expressão lógica (booleana) para obter a tabela-verdade, as formas canônicas, uma expressão simplificada e um mapa de Karnaugh. Use-o para conferir respostas de exercícios de lógica digital ou de matemática discreta.

Como usar

1. Digite uma expressão como A'B + AB' + C em “Expressão lógica”. Abra “Operadores e notações” para ver os símbolos que podem ser usados.
2. A “Tabela-verdade” aparece na hora, indicando se a expressão é uma tautologia. “Valores” alterna entre 1 / 0 e T / F.
3. Em “Formas”, veja a soma de produtos e o produto de somas simplificados. Com 4 variáveis ou menos, o “Mapa de Karnaugh” mostra os agrupamentos.
4. Coloque uma “Segunda expressão” em “Verificar equivalência” para comparar duas expressões, ou clique em “Copiar tabela” ou “Copiar LaTeX”.

Como funciona

• As variáveis são letras únicas de A a Z, até 6. Letras escritas juntas significam E (AND), então AB é A E B.
• Ordem de precedência, da mais forte para a mais fraca: NÃO, E, OU exclusivo, OU, implicação, se e somente se. Use parênteses em caso de dúvida.
• A simplificação usa o método de Quine–McCluskey. Se a busca demorar demais, ela para antes, e uma observação avisa que o resultado pode não ser o mais curto.

Perguntas frequentes

Quantas linhas tem uma tabela-verdade?

Com n variáveis, ela tem 2 elevado a n linhas: 8 linhas para 3 variáveis, 16 para 4 e 64 para 6.

Como simplificar uma expressão booleana?

Combine termos que diferem em uma única variável. AB + AB' é verdadeiro sempre que A é verdadeiro, seja qual for B, então simplifica para A.

Qual a diferença entre mintermo e maxtermo?

Um mintermo é uma linha em que o resultado é 1, escrita como um E de todas as variáveis; um maxtermo é uma linha em que o resultado é 0, escrita como um OU. Mintermos ligados por OU formam a SOP canônica.

Dá para verificar as leis de De Morgan?

Sim. Digite ¬(A ∧ B) ↔ (¬A ∨ ¬B) e ela aparece como tautologia. Você também pode colocar os dois lados separadamente em “Verificar equivalência”.