Simplificador de mapa de Karnaugh online

O que faz esta ferramenta

Esta ferramenta simplifica expressões booleanas a partir de uma lista de mintermos. Por exemplo, se introduzir os mintermos 1, 3, 5 e 7, a ferramenta infere três variáveis (A, B, C) e devolve a expressão simplificada C.

Entrada e processamento

Introduza índices únicos ou repetidos entre 0 e 15. A ferramenta remove duplicados e determina o menor número de variáveis (de 1 a 4) que consegue representar o maior índice. Depois, enumera cubos implicantes válidos, mantém apenas os que cobrem os mintermos fornecidos e escolhe a cobertura soma de produtos com menos termos e, em caso de empate, menos literais.

Exemplo concreto

Para os mintermos 1, 3, 5 e 7, a saída mostra: variáveis inferidas: 3, mintermos: 1, 3, 5, 7, e expressão simplificada: C.

Limitações

Não existe campo separado para o número de variáveis, nem entrada de don't-care, forma de produto de somas, otimização livre de riscos ou grelha visual de Karnaugh. As variáveis não utilizadas à esquerda não podem ser preservadas porque a largura é inferida.

Perguntas frequentes

Como são nomeadas as variáveis?

As variáveis são A, B, C e D, do bit mais significativo para o menos significativo. Por exemplo, para três variáveis, o mintermo 1 corresponde a 001, ou seja, A'B'C.

O que acontece se introduzir todos os mintermos possíveis?

Se fornecer todos os mintermos para a largura inferida, a expressão simplificada será a constante 1.

Posso introduzir mintermos repetidos?

Sim, a ferramenta remove duplicados automaticamente, por isso pode introduzir índices repetidos sem afetar o resultado.

Lista de verificação

• Verifique se os índices estão entre 0 e 15.
• Confirme o número de variáveis inferido.
• Compare a expressão simplificada com a tabela de verdade.
• Lembre-se de que não há suporte para don't-care.