Simplificador de expressão booleana
Use esta ferramenta diretamente – sem redirecionamentos, sem necessidade de inscrição.
Entrada de expressão booleana
Expressão Simplificada
Tabela Verdade
Rede de portões
Como funciona a simplificação de expressões booleanas
A simplificação da álgebra booleana reduz expressões lógicas complexas à sua forma equivalente mínima usando um conjunto de leis algébricas. Cada circuito digital, desde portas básicas até processadores complexos, opera com lógica booleana – e a simplificação reduz diretamente a contagem de portas, o consumo de energia e o atraso de propagação em hardware real.
Soma de Produtos (SOP)
O formulário padrão onde os termos AND são combinados em OR. Cada função booleana pode ser expressa em SOP e mapeada diretamente para uma rede de portas AND-OR de dois níveis.
Principais Implicações
Um implicante principal é um termo de produto que não pode ser combinado com outro termo para produzir um termo mais simples. O método Quine-McCluskey encontra todos os implicantes principais sistematicamente.
Implicantes Primários Essenciais
Um implicante principal essencial cobre pelo menos um mintermo que nenhum outro implicante principal cobre. A cobertura mínima deve incluir todos os implicantes principais essenciais.
Leis de De Morgan e identidades booleanas
Essas identidades fundamentais permitem transformar e simplificar expressões booleanas. O simplificador aplica-os automaticamente.
| Nome de identidade | Expressão | Descrição |
|---|---|---|
| De Morgan 1 | (AB)' = A' + B' | NAND é igual a OR de complementos |
| De Morgan 2 | (A+B)' = A'B' | NOR é igual a AND de complementos |
| Absorção | A + AB = A | Remove termos de produto redundantes |
| Consenso | AB + A'C + BC = AB + A'C | Elimina termos de consenso redundantes |
| Complemento | A + A' = 1 | AA' = 0 | Uma variável OU seu complemento é sempre 1 |
| Idempotente | A + A = A | AA = A | Termos repetidos se transformam em um único termo |
Algoritmo Quine-McCluskey passo a passo
O método Quine-McCluskey é uma técnica tabular que encontra sistematicamente a forma SOP mínima de uma função booleana. Ao contrário dos K-maps, ele funciona para qualquer número de variáveis e é amigável ao computador.
- 1 Liste todos os mintermos. Converta cada linha onde a saída é 1 em sua representação binária e agrupe por número de 1 bits.
- 2 Mesclar grupos adjacentes. Combine pares que diferem em exatamente uma posição de bit, substituindo esse bit por um travessão (não se importe). Repita até que não seja possível mais mesclagens.
- 3 Identifique os principais implicantes. Qualquer termo que não possa ser mais mesclado é um implicante principal. Reúna todos eles em um gráfico de implicantes principais.
- 4 Selecione implicantes principais essenciais. Encontre cada mintermo coberto por exatamente um implicante principal - esse implicante é essencial. Inclua todos os elementos essenciais na expressão final.
- 5 Cubra os mintermos restantes. Para quaisquer mintermos ainda não cobertos pelos fundamentos, escolha avidamente implicantes principais adicionais para minimizar a contagem total de termos.
Ferramentas relacionadas
Explore essas páginas de ferramentas dedicadas para continuar seu fluxo de trabalho com configurações de lógica, Arduino, PCB e diagramas com foco em conversão.
Logic Gate Diagram Tool
Build clear gate-level logic diagrams and validate signal flow.
Abrir ferramentaArduino Circuit Maker
Document board pin connections, modules, and wiring paths quickly.
Abrir ferramentaPCB Schematic Tool
Draft production-ready schematic structures before PCB layout.
Abrir ferramentaTruth Table To Logic Circuit
Generate gate-level logic from truth-table behavior for quick validation and learning.
Abrir ferramenta