Ferramenta online para converter tabela verdade em expressão lógica

O que faz esta ferramenta

Esta ferramenta converte uma tabela verdade especificada pelos índices das linhas com resultado 1 numa expressão lógica na forma normal disjuntiva canónica (soma de mintermos). Por exemplo, com variáveis A,B e mintermos 1,2, a expressão gerada é (!A && B) || (A && !B).

Como funciona

Introduza os identificadores das variáveis (por exemplo, A,B,C) e os índices dos mintermos cujo resultado é 1. A ferramenta gera um mintermo completo para cada índice selecionado, ligando-os com OR. Cada mintermo inclui todas as variáveis, com negação quando o valor da variável é 0 nessa linha.

Exemplo prático

Para a tabela verdade XOR com variáveis A,B, os mintermos são 1 e 2. A expressão resultante é (!A && B) || (A && !B).

Limitações

A ferramenta não minimiza a expressão, não aceita linhas irrelevantes (don't-care), não gera CNF/POS, não desenha portas lógicas e não importa tabelas verdade tabulares. Para expressões minimizadas, utilize a ferramenta de mapa de Karnaugh.

Perguntas frequentes

Como são tratados os índices duplicados?

Os índices duplicados são removidos, não afetando o resultado.

O que acontece se não introduzir nenhum mintermo?

Se a lista de mintermos estiver vazia, a expressão resultante é false, representando uma função que é zero em todas as atribuições.

Que notação é usada na expressão?

A expressão usa ! para NOT, && para AND e || para OR. A saída é a forma normal disjuntiva canónica, sem minimização.

Lista de verificação

• Verifique que os identificadores das variáveis são ASCII e separados por vírgulas.
• Confirme que os índices estão no intervalo válido.
• Lembre-se de que o primeiro variável é o bit mais significativo.
• Para expressões minimizadas, use a ferramenta de mapa de Karnaugh.