Simplificador de álgebra booleana (mapa de Karnaugh)

Simplificador de álgebra booleana (mapa de Karnaugh) | Ferramenta online grátis | Elysia Tools

Guia de uso da ferramenta

Veja quando usar esta ferramenta, o que ela suporta e como os usuários a aplicam.

Fatos principais

Categoria: Math & Numbers
Tipos de entrada: select, text
Tipo de saída: text
Cobertura de exemplos: 4
API pronta: Sim

Visão geral

O simplificador de álgebra booleana reduz expressões e funções lógicas à soma de produtos (SOP) mínima usando o algoritmo Quine-McCluskey e mapas de Karnaugh para até 4 variáveis.

Quando usar

Ao projetar circuitos lógicos digitais e precisar minimizar portas lógicas e literais.
Ao estudar circuitos combinacionais e conferir o agrupamento de mapas de Karnaugh e implicantes primos essenciais.
Ao converter listas numéricas de minterms (Σm) em uma expressão booleana simplificada exata.

Como funciona

1Selecione o modo de entrada: expressão algébrica (utilizando variáveis de A a D com operadores +, ·, ', ^) ou lista de minterms numéricos (Σm).
2Defina o número de variáveis do sistema (2, 3 ou 4 variáveis).
3O motor executa o algoritmo de Quine-McCluskey para encontrar todos os implicantes primos e selecionar a cobertura mínima exata.
4A ferramenta gera a SOP mínima, exibe a tabela canônica Σm, o mapa de Karnaugh indexado em código Gray e a verificação formal de equivalência lógica.

Casos de uso

Otimização de circuitos combinacionais em projetos de hardware e eletrônica digital.
Resolução e conferência passo a passo de exercícios acadêmicos de computação e engenharia elétrica.
Refatoração e simplificação de condições lógicas booleanas complexas em software.

Exemplos

1. Simplificação da expressão clássica AB + A'B

Estudante de Engenharia

Contexto

Analisando uma expressão de lógica combinacional com duas variáveis para verificar a absorção do literal A.

Problema

Reduzir AB + A'B para a menor quantidade de literais possível.

Como usar

Selecione o modo 'Expressão', digite `AB + A'B` no campo de expressão booleana e defina 2 ou 3 variáveis.

Modo de entrada: Expressão, Expressão: AB + A'B, Variáveis: 2

Resultado

Obtém a SOP mínima F = B (1 termo, 1 literal), o mapa de Karnaugh com a coluna B=1 preenchida e a validação de todas as 4 atribuições.

2. Minimização por lista de minterms de 3 variáveis

Projetista de Circuitos Digitais

Contexto

Desenvolvendo um decodificador com saídas ativas nos estados decimais 0, 1, 2, 4, 5 e 6.

Problema

Encontrar a função booleana mínima correspondente ao conjunto canônico Σm(0,1,2,4,5,6).

Como usar

Selecione o modo 'Minterms (Σm)', insira `0,1,2,4,5,6` na lista e configure o número de variáveis para 3.

Perguntas frequentes

Quais operadores lógicos são suportados no modo de expressão?

Você pode usar + para OU, · ou justaposição para E, ' ou ! para NÃO, ^ para XOR e parênteses para agrupamento.

Quantas variáveis a ferramenta suporta?

O simplificador suporta funções lógicas com 2, 3 ou 4 variáveis (letras de A a D).

Como funciona o método de simplificação utilizado?

O cálculo aplica o algoritmo exato de Quine-McCluskey, identificando implicantes primos essenciais e resolvendo a cobertura mínima da função.

Como inserir termos diretamente sem escrever a fórmula?

Altere o modo de entrada para 'Minterms (Σm)' e insira os índices decimais separados por vírgula (por exemplo, 0,1,2,4,5,6).

Como o mapa de Karnaugh é apresentado?

O mapa é renderizado em formato de grade textual com eixos ordenados em código Gray (00, 01, 11, 10), facilitando a visualização dos agrupamentos.

Modo de entrada: Minterms (Σm), Lista: 0,1,2,4,5,6, Variáveis: 3

Executar esta ferramenta

Exemplos compatíveis com esta ferramenta

Continue com ferramentas e temas relacionados

Veja quando usar esta ferramenta, o que ela suporta e como os usuários a aplicam.

Fatos principais

Visão geral

Quando usar

Como funciona

Casos de uso

Exemplos

1. Simplificação da expressão clássica AB + A'B

2. Minimização por lista de minterms de 3 variáveis

Perguntas frequentes

Exemplos de Processamento de Imagem Web Python

Exemplos de Processamento de Imagem Android Java

Exemplos de Processamento de Imagem Android Kotlin

Exemplos de Processamento de Imagem Web Rust

Conversor de Razão de Diluição (1:X ↔ 1/X ↔ %)

Algoritmo de Euclides estendido (ax + by = mdc(a, b))

Calculadora de inversa modular (Euclides estendido)

Calculadora de aritmética modular (soma / subtração / produto / inversa / potência)