Simplificador de Álgebra Booleana
Simplifique expressões booleanas com leis algébricas, Quine-McCluskey e mapas de Karnaugh. Informe qualquer expressão com AND, OR, NOT, XOR, NAND ou NOR para obter a forma mínima SOP/POS, tabela-verdade, mapa K e diagrama.
Uso gratuitoSem cadastroResultados instantâneos
Simplificador de Álgebra BooleanaExperimente agora — grátis ▼
Apoie o MiniWebtool
Seu bloqueador de anúncios está impedindo que mostremos anúncios
O MiniWebtool continua gratuito graças aos anúncios. Se esta ferramenta ajudou você, apoie-nos fazendo upgrade para navegação sem anúncios e mais usos diários, ou permita MiniWebtool.com e recarregue.
- Permita anúncios para MiniWebtool.com e recarregue
- Ou faça upgrade para navegar sem anúncios e ter limites diários maiores
Simplificador de Álgebra Booleana
O Simplificador de Álgebra Booleana reduz qualquer expressão lógica à sua forma mínima usando o algoritmo de Quine-McCluskey e a análise do mapa de Karnaugh. Insira expressões com AND, OR, NOT, XOR, NAND, NOR (ou símbolos como &, |, ~, ^, posfixo A') e receba instantaneamente a tabela verdade completa, um mapa de Karnaugh colorido com laços de implicantes primos, um gráfico de implicantes primos marcando os essenciais, uma derivação passo a passo e implementações equivalentes apenas com NAND e apenas com NOR.
O que o Simplificador Produz
Tabela Verdade
Todas as \(2^n\) combinações de entrada com a saída da expressão.
Mapa de Karnaugh
Grade em código Gray com cada implicante primo contornado.
SOP / POS Mínima
Menos literais, menos termos — as formas ideais.
Implicantes Primos
Com marcadores essenciais — saiba quais são obrigatórios.
Formas NAND/NOR
Equivalentes de portas universais para síntese de circuitos.
Passo a Passo
A derivação de Quine-McCluskey explicada.
Leis da Álgebra Booleana — Referência
| Lei | Forma OR | Forma AND |
|---|---|---|
| Identidade | \( A + 0 = A \) | \( A \cdot 1 = A \) |
| Nula | \( A + 1 = 1 \) | \( A \cdot 0 = 0 \) |
| Idempotente | \( A + A = A \) | \( A \cdot A = A \) |
| Complementar | \( A + \overline{A} = 1 \) | \( A \cdot \overline{A} = 0 \) |
| Dupla Negação | \( \overline{\overline{A}} = A \) | |
| Comutativa | \( A + B = B + A \) | \( A \cdot B = B \cdot A \) |
| Associativa | \( (A + B) + C = A + (B + C) \) | \( (A \cdot B) \cdot C = A \cdot (B \cdot C) \) |
| Distributiva | \( A \cdot (B + C) = AB + AC \) | \( A + BC = (A+B)(A+C) \) |
| Absorção | \( A + AB = A \) | \( A(A + B) = A \) |
| De Morgan | \( \overline{A + B} = \overline{A} \cdot \overline{B} \) | \( \overline{A \cdot B} = \overline{A} + \overline{B} \) |
| Consenso | \( AB + \overline{A}C + BC = AB + \overline{A}C \) | |
Guia Rápido de Sintaxe de Entrada
| Operador | Formas Aceitas | Exemplo |
|---|---|---|
| AND | &, *, ·, ., concatenação AB, palavra AND, ∧ | A&B, AB, A AND B |
| OR | +, |, palavra OR, ∨ | A+B, A | B, A OR B |
| NOT | ~, !, ¬, palavra NOT, posfixo ' | ~A, !A, A', (AB)' |
| XOR | ^, ⊕, palavra XOR | A XOR B, A^B |
| NAND | ⊼, palavra NAND | A NAND B |
| NOR | ⊽, palavra NOR | A NOR B |
| Implica | ->, =>, palavra IMPLIES, → | A -> B |
| Equivalência | <->, <=>, palavra IFF, ↔ | A <-> B |
| Constantes | 0 1 TRUE FALSE | A + 0, A * 1 |
O Algoritmo de Quine-McCluskey
O método Quine-McCluskey é uma abordagem tabular sistemática para encontrar a expressão mínima de Soma de Produtos. Ao contrário do mapa de Karnaugh (que é visual e limitado a cerca de 6 variáveis), o Quine-McCluskey escala e sempre produz uma cobertura mínima garantida.
- Listar todos os mintermos — cada linha da tabela verdade que resulta em 1.
- Agrupar por contagem de bits um — classificar os mintermos pelo número de 1s em sua representação binária.
- Combinar grupos adjacentes — pares que diferem por exatamente um bit se fundem, substituindo esse bit por um traço. Repita até que não existam mais combinações possíveis.
- Coletar implicantes primos — qualquer termo que nunca foi combinado posteriormente é um implicante primo.
- Construir o gráfico de implicantes primos — uma grade com primos como linhas e mintermos como colunas. Marque quais primos cobrem quais mintermos.
- Selecionar primos essenciais — qualquer primo que seja o único a cobrir algum minterm é essencial.
- Cobrir os mintermos restantes — escolha primos adicionais para cobrir os mintermos ainda não cobertos pelos essenciais, minimizando a contagem de literais.
Como usar o Simplificador de Álgebra Booleana
- Insira a expressão: Digite qualquer expressão booleana usando a notação de sua preferência. Você pode misturar estilos —
A.B + A'CeA AND B OR NOT A AND Csão analisados de forma idêntica. - Clique em Simplificar: A ferramenta analisa, constrói a tabela verdade, executa o Quine-McCluskey e minimiza a expressão.
- Estude o Mapa de Karnaugh: Cada laço colorido é um implicante primo. Os primos essenciais são desenhados com linhas sólidas, os não essenciais com tracejados.
- Revise as etapas: O painel passo a passo percorre desde a SOP canônica até a descoberta de implicantes primos e a forma mínima.
- Inspecione formas equivalentes: Use a POS mínima quando sua tecnologia alvo for OR-de-AND, ou a forma apenas NAND ao visar silício baseado em NAND.
Aplicações
| Área | Caso de Uso |
|---|---|
| Design de Circuitos Digitais | Minimizar a contagem de portas na lógica combinacional — menos portas significam menor potência, menor área de chip e menor atraso de propagação. |
| Otimização de Compilador | Simplificar expressões condicionais em instruções if e guardas de loop para reduzir o custo de avaliação de desvios. |
| Lógica Programável (FPGA) | Acomodar mais lógica nas tabelas de consulta (LUTs) disponíveis produzindo formas literais mínimas. |
| Otimização de Consultas de Banco de Dados | Reescrever predicados da cláusula WHERE em formas equivalentes, mas mais baratas de avaliar. |
| Verificação Formal | Formas canônicas (SOP/POS) permitem a verificação de equivalência entre duas especificações. |
| Ensino / Trabalhos Acadêmicos | Verificar tarefas de casa, estudar a seleção de implicantes primos e explorar estratégias de agrupamento em mapas de Karnaugh. |
FAQ
O que é simplificação de álgebra booleana?
A simplificação da álgebra booleana reduz uma expressão lógica a uma expressão equivalente com menos operações e literais. Uma expressão mais simples significa menos portas lógicas no hardware, avaliação mais rápida no software e verificação humana mais fácil. Os métodos incluem a aplicação de leis algébricas, mapas de Karnaugh e o algoritmo de Quine-McCluskey — esta ferramenta combina os três.
O que é a forma mínima de Soma de Produtos (SOP)?
A forma mínima de Soma de Produtos escreve uma função booleana como um OR dos menos termos de produtos possíveis, onde cada produto usa o mínimo de literais possível. Ela é encontrada expandindo a função para sua SOP canônica (um minterm por linha verdadeira), combinando mintermos adjacentes usando a regra \( XY + \overline{X}Y = Y \) até que nenhuma outra combinação seja possível. O resultado é um circuito AND-OR de dois níveis mínimo.
Como funciona um mapa de Karnaugh?
Um mapa de Karnaugh é uma grade onde as linhas e colunas são rotuladas com padrões de bits em código Gray, de modo que as células fisicamente adjacentes diferem por exatamente uma variável. Grupos de células-1 adjacentes de tamanhos 1, 2, 4 ou 8 correspondem a termos de produto que eliminam 0, 1, 2 ou 3 variáveis, respectivamente. Os maiores grupos possíveis fornecem o menor número de literais por termo — portanto, a estratégia é "cobrir cada 1 com os maiores retângulos legais."
O que é um implicante primo?
Um implicante primo é um termo de produto que cobre um grupo de mintermos e não pode ser combinado com nenhum outro grupo adjacente para formar um grupo maior. Um implicante primo essencial é aquele que é o único implicante primo cobrindo pelo menos um minterm específico — ele deve aparecer em toda cobertura mínima. Primos não essenciais são opcionais e incluídos apenas quando necessários para cobrir os mintermos restantes.
Qual sintaxe de entrada o simplificador aceita?
Você pode escrever AND como
&, *, ·, ., ou concatenação simples (AB significa A AND B). OR pode ser + ou |. NOT pode ser ~, !, ¬, ou um apóstrofo posfixo (A', (A+B)'). Operadores de palavras AND OR NOT XOR NAND NOR IMPLIES IFF também funcionam, assim como as formas de seta -> e <->. Parênteses agrupam subexpressões. Constantes 0 e 1 (ou TRUE/FALSE) representam valores fixos.Por que as formas exclusivas NAND e NOR são úteis?
NAND e NOR são chamadas de portas universais porque qualquer função booleana pode ser construída usando apenas uma delas. No silício real, as portas NAND são geralmente as mais rápidas e baratas de fabricar, por isso os compiladores para lógica programável costumam visar uma netlist apenas de NAND. O simplificador mostra as expressões equivalentes apenas NAND e apenas NOR — uma expressão apenas NAND pode ser lida diretamente como um circuito NAND-NAND de dois níveis, que é estruturalmente idêntico a um circuito AND-OR na teoria de comutação.
Quantas variáveis a ferramenta suporta?
Até 8 variáveis. O mapa de Karnaugh é renderizado para 2, 3 e 4 variáveis (tamanhos de grade 2×2, 2×4 e 4×4 com rotulagem de código Gray). Para 5 ou mais variáveis, a tabela verdade cresce para 32 ou mais linhas, mas o algoritmo Quine-McCluskey ainda produz a forma mínima exata — o mapa de Karnaugh é simplesmente omitido, pois mapas 3D ou divididos são difíceis de ler.
Posso verificar se duas expressões booleanas são equivalentes?
Sim — simplifique ambas as expressões independentemente. Se suas formas SOP mínimas forem idênticas, elas computam a mesma função. Você também pode comparar suas tabelas verdade linha por linha. O simplificador gera tanto o conjunto de mintermos quanto a SOP canônica, que são impressões digitais únicas da função.
Cite este conteúdo, página ou ferramenta como:
"Simplificador de Álgebra Booleana" em https://MiniWebtool.com/br/simplificador-de-algebra-booleana/ de MiniWebtool, https://MiniWebtool.com/
pela equipe miniwebtool. Atualizado em: 2026-04-19
API para desenvolvedores disponível:
Execute esta ferramenta no seu app, automação ou agente com uma requisição HTTP JSON.
Ver documentação da API
Você também pode experimentar nosso Solucionador de Matemática AI GPT para resolver seus problemas de matemática através de perguntas e respostas em linguagem natural.
Operações matemáticas avançadas:
- Calculadora de Matriz de Adjacência Novo
- Calculadora de Antilog
- Calculadora de Função Beta
- Calculadora de Coeficiente Binomial
- Calculadora de distribuição binomial
- Calculadora de Lógica Binária
- Simplificador de Álgebra Booleana Novo
- Calculadora do Teorema Central do Limite
- Calculadora do Teorema Chinês do Resto
- Calculadora de Combinação Popular
- Calculadora de Função de Erro Complementar
- Calculadora de Números Complexos Popular
- Calculadora de Frações Contínuas
- Calculadora de Desarranjo (Subfatorial)
- Calculadora de Caminho Mais Curto de Dijkstra
- Calculadora de Entropia Popular
- Calculadora da função de erro
- Calculadora da Função Totiente de Euler
- Calculadora de decaimento exponencial
- Calculadora de Crescimento Exponencial de Alta Precisão
- Calculadora de Integral Exponencial
- Calculadora de Expoentes (Alta Precisão)
- Calculadora do Algoritmo Euclidiano Estendido
- Calculadora de Fatorial
- Calculadora de Função Gama
- Calculadora de Proporção Áurea
- Calculadora de Coloração de Grafos Novo
- Validador de Sequência de Graus de Grafo
- Calculadora de Ordem em Teoria dos Grupos Novo
- Calculadora de Meia-Vida
- Verificador de Caminho Hamiltoniano Novo
- Calculadora de Inclusão-Exclusão Novo
- Solucionador de Mapa de Karnaugh (K-Map) Novo
- Solucionador de Programação Linear Novo
- Calculadora de Estado Estacionário da Cadeia de Markov
- Calculadora de Árvore Geradora Mínima
- Calculadora de Exponenciação Modular Novo
- Calculadora do Inverso Multiplicativo Modular
- Calculadora de Distribuição Binomial Negativa Novo
- Calculadora de Fluxo em Rede (Fluxo Máximo) Novo
- Calculadora de Taxa de Crescimento Percentual Popular
- Calculadora de Permutação
- Calculadora de Permutações com Repetição Novo
- Calculadora do Princípio da Casa dos Pombos
- Verificador de Grafo Planar Novo
- Calculadora de Distribuição de Poisson
- Calculadora de Raízes de Polinômios
- Calculadora de Raiz Primitiva
- Calculadora de Probabilidade
- Calculadora de Distribuição de Probabilidade
- Calculadora de Proporção Popular
- Calculadora de Fórmula Quadrática
- Calculadora de Anéis e Corpos Novo
- Calculadora de Arredondamento Novo
- Calculadora Científica
- Calculadora de notação científica
- Calculadora de Teoria dos Conjuntos
- Calculadora de Algarismos Significativos Novo
- Solucionador do Problema do Casamento Estável Novo
- Calculadora de Números de Stirling
- Calculadora de Soma de Cubos
- Calculadora de soma de inteiros positivos
- Calculadora de Soma dos Quadrados
- Calculadora de Ordenação Topológica Novo
- Solucionador do Caixeiro Viajante (TSP) Novo
- Gerador de Tabela Verdade Popular
- Gerador de Diagrama de Venn (3 Conjuntos)