Simplificador de Álgebra Booleana

Simplifique expressões booleanas usando leis algébricas, Quine-McCluskey e minimização por mapa de Karnaugh. Insira qualquer expressão lógica (AND, OR, NOT, XOR, NAND, NOR) e obtenha instantaneamente a forma SOP/POS mínima, tabela verdade completa, visualização de Mapa K, diagrama de portas, aplicações de leis passo a passo e equivalentes apenas com NAND/NOR.

Embed Simplificador de Álgebra Booleana Widget

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'C e A AND B OR NOT A AND C sã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.

Simplificador de Álgebra Booleana

Simplificador de Álgebra Booleana

O que o Simplificador Produz

Leis da Álgebra Booleana — Referência

Guia Rápido de Sintaxe de Entrada

O Algoritmo de Quine-McCluskey

Como usar o Simplificador de Álgebra Booleana

Aplicações

FAQ

Operações matemáticas avançadas:

Ferramentas em destaque: