O que é um mapa de Karnaugh?

Um mapa de Karnaugh (K-map) é uma forma de organizar em grade as saídas de uma tabela verdade de modo que duas células adjacentes horizontal ou verticalmente difiram em exatamente uma variável, facilitando identificar grupos de 1s e traduzi-los em termos simplificados.

Por que as linhas e colunas do K-map usam ordem de código Gray?

O código Gray garante que rótulos consecutivos difiram em apenas um bit, que é exatamente a propriedade de adjacência que um K-map precisa — usar a ordem binária comum quebraria essa adjacência entre algumas células vizinhas.

Por que este solucionador é limitado a 2-4 variáveis?

Um K-map é uma ferramenta genuinamente visual e bidimensional, e realmente só é desenhado à mão para 2 a 4 variáveis (ou ocasionalmente 5-6 com truques em 3D). Para mais variáveis, o método algébrico Quine-McCluskey usado pelo Simplificador de Álgebra Booleana do site escala melhor.

O que significam as bordas de célula destacadas?

Cada cor destacada marca as células pertencentes a um implicante primo selecionado na expressão minimizada — células compartilhando a mesma cor de borda estão agrupadas em um único termo simplificado.

Como sei quais mintermos inserir?

O índice decimal de um mintermo é igual ao número binário formado pelos valores das variáveis (em ordem alfabética, bit mais significativo primeiro) para os quais a saída é 1 — por exemplo, com variáveis A, B, C, a linha A=1,B=0,C=1 corresponde ao mintermo 101₂ = 5.

Este solucionador suporta condições de 'não importa' (don't care)?

Não atualmente — cada célula é tratada como um 0 ou 1 definido com base na lista de mintermos. Termos de não importa (que podem simplificar ainda mais um resultado) não são suportados nesta versão.

Como isso se relaciona com o Simplificador de Álgebra Booleana?

Ambas as ferramentas usam a mesma minimização Quine-McCluskey; esta adiciona a clássica grade visual K-map e recebe uma lista de mintermos como entrada em vez de uma expressão simbólica.

Onde os mapas de Karnaugh são usados na vida real?

São uma ferramenta padrão de ensino e design em cursos introdutórios de lógica digital e engenharia da computação para minimizar manualmente pequenos circuitos lógicos combinacionais.

Solucionador de Mapa de Karnaugh (K-Map) — Minimização Booleana Visual

Nosso Solucionador de Mapa de Karnaugh (K-Map) recebe uma lista de mintermos para 2, 3 ou 4 variáveis booleanas, organiza-os em uma grade K-map com código Gray adequado, e aplica minimização Quine-McCluskey internamente para agrupar 1s adjacentes no menor número possível de implicantes primos — o mesmo método visual ensinado em cursos de lógica digital, agora automatizado e sem erros.

Resposta rápida

Insira os mintermos onde sua saída é 1 para 2 a 4 variáveis, e esta ferramenta desenha a grade K-map com código Gray, destaca os agrupamentos e reporta a expressão mínima de soma de produtos.

Número de variáveis

Mintermos (separados por vírgula)

Digite os índices decimais dos mintermos onde a saída é 1, ex. 0,2,5,6,7,8,10,13,14,15.

Como usar Solucionador de Mapa de Karnaugh (K-Map) — 2 a 4 Variáveis Online

1
Escolha o número de variáveis (2, 3 ou 4).
2
Insira os mintermos (índices decimais onde a saída é 1) como uma lista separada por vírgulas.
3
Clique em 'Resolver' para ver a grade K-map com os agrupamentos destacados e a expressão minimizada.

Por que usar Solucionador de Mapa de Karnaugh (K-Map) — 2 a 4 Variáveis Online?

Um mapa de Karnaugh organiza as saídas de uma tabela verdade em uma grade onde células adjacentes diferem em apenas uma variável, para que você possa identificar visualmente grupos de 1s e ler uma expressão mínima de soma de produtos — uma técnica introduzida por Maurice Karnaugh em 1953 como alternativa mais rápida à simplificação puramente algébrica para poucas variáveis. Este solucionador constrói essa mesma grade usando uma ordenação de linhas e colunas com código Gray adequado, e a combina com a mesma minimização Quine-McCluskey usada internamente pelo Simplificador de Álgebra Booleana do site, para que o agrupamento que você vê sempre corresponda a uma expressão comprovadamente mínima ou quase mínima em vez de um palpite manual.

Perguntas frequentes

Ferramentas relacionadas

Simplificador de Álgebra Booleana — Minimizador Quine-McCluskey Online

Simplifique qualquer expressão booleana para sua forma mínima de soma de produtos usando o algoritmo Quine-McCluskey. Calculadora gratuita com suporte a até 6 variáveis com implicantes primos exibidos.

Gerador de Tabela Verdade — Expressões de Lógica Booleana Online

Gere tabelas verdade para qualquer expressão de lógica booleana — AND, OR, NOT, XOR, NAND, NOR e operadores condicionais. Calculadora gratuita com detecção automática de tautologia e contradição.

Calculadora de Bits — AND, OR, XOR, NOT, Deslocamentos Online

Realize operações a nível de bits — AND, OR, XOR, NOT, deslocamento à esquerda e à direita — em inteiros instantaneamente. Calculadora gratuita com diagrama visual interativo de bits para cada operação.