Simplifique seu fluxo de trabalho: Pesquise miniwebtool.
Adicionar
Ferramentas relacionadas
Simplificador de Expressões AlgébricasCalculadora de TecidoSolucionador de Mapa de Karnaugh (K-Map)Simulador de Portas LógicasGerador de Tabela Verdade
Página Inicial > Matemática > Operações matemáticas avançadas > Simplificador de Álgebra Booleana
 

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.

Simplificador de Álgebra Booleana
Exemplos:
Inserir:
SINTAXE ACEITA
AND: & · AB  |  OR: + |  |  NOT: ~ ! A'  |  XOR 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

LeiForma ORForma 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

OperadorFormas AceitasExemplo
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 XORA XOR B, A^B
NAND⊼, palavra NANDA NAND B
NOR⊽, palavra NORA NOR B
Implica->, =>, palavra IMPLIES, →A -> B
Equivalência<->, <=>, palavra IFF, ↔A <-> B
Constantes0 1 TRUE FALSEA + 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.

  1. Listar todos os mintermos — cada linha da tabela verdade que resulta em 1.
  2. Agrupar por contagem de bits um — classificar os mintermos pelo número de 1s em sua representação binária.
  3. 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.
  4. Coletar implicantes primos — qualquer termo que nunca foi combinado posteriormente é um implicante primo.
  5. Construir o gráfico de implicantes primos — uma grade com primos como linhas e mintermos como colunas. Marque quais primos cobrem quais mintermos.
  6. Selecionar primos essenciais — qualquer primo que seja o único a cobrir algum minterm é essencial.
  7. 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

  1. 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.
  2. Clique em Simplificar: A ferramenta analisa, constrói a tabela verdade, executa o Quine-McCluskey e minimiza a expressão.
  3. 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.
  4. 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.
  5. 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

ÁreaCaso de Uso
Design de Circuitos DigitaisMinimizar 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 CompiladorSimplificar 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 DadosReescrever predicados da cláusula WHERE em formas equivalentes, mas mais baratas de avaliar.
Verificação FormalFormas canônicas (SOP/POS) permitem a verificação de equivalência entre duas especificações.
Ensino / Trabalhos AcadêmicosVerificar 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:

Ferramentas em destaque:

Pesquisa de ID de Usuário do InstagramRemover espaçosGerador de Cartão de Crédito AleatórioGerador de Letras AleatóriasCalculadora de Número de DestinoGerador de Cartelas de BingoGerador de endereços MACCalculadora de Signo Solar, Lunar e Ascendente 🌞🌙✨Gerador de Código MorseGerador de IMEI AleatórioCalculadora de Número de ExpressãoGerador de Cores Aleatórias📅 Calculadora de DatasCalculadora de ProporçãoFormatador de TextoContador de linhasCalculadora de 1RM (Repetição Máxima)Gerador de Superpoder AleatórioCalculadora de Compatibilidade Amorosapesquisa-de-endereço-MACCalculadora de CombinaçãoGerador de Cartas de Baralho AleatórioGerador de Caça-PalavrasCalculadora de número de anjoCalculadora de Dia do Ano - Que Dia do Ano é Hoje?Remover Linhas Vazias do TextoClassificar NúmerosFerramenta Online para Remover PontuaçãoEstatísticas do Canal do YouTubeCalculadora de Variação Percentual🖱️ Contador de CliquesCalculadora de Desvio Padrão RelativoCalculadora BináriaGerador de AnagramasPesquisa de ID de Usuário do FacebookGerador de Números da LoteriaCalculadora de NumerologiaCalculadora de cálcio corrigidaRemovedor de Caracteres InvisíveisConversor de kPa para psiDivisor de ÁudioRemover acentos do textoCalculadora de Monetização do YouTube ShortsCalculadora de Número MestreGerador de Embaralhar PalavrasCalculadora de MedianaConversor de Hex para BinárioRandomizador de ListasGerador de Endereço IP AleatórioExtrator de Imagem de VídeoAdicionar Quebras de LinhaCalculadora de Taxa de Crescimento PercentualDecodificador de Código MorseGerador de Texto Pequeno ⁽ᶜᵒᵖʸ ⁿ ᵖᵃˢᵗᵉ⁾Conversor de Binário para HexGerador de Palavras Aleatórias em Inglêscalculadora-hba1cGerador de Sequência AleatóriaLista de Anos BissextosCalculadora de Retorno de SaturnoConversor de Tamanho de Arquivoconversor de ppm para porcentagemCalculadora de Estratégia MartingaleCalculadora de Tempo de FalaGerador de Hash SHA256Gerador de Hora AleatóriaGerador de Coordenadas AleatóriasGerador de Personagem RPG AleatórioConversor de FPSConversor de cm para Pés e PolegadasCalculadora de bônusConversor de Fração para Percentual🎮 Conversor de Sensibilidade de JogosReverter VídeoCalculadora de Desvio Padrão - Alta PrecisãoBaixador de Miniaturas do YouTubeCalculadora de Coeficiente de VariaçãoGerador de Aniversário AleatórioCalculadora de reduzir fraçõesCalculadora de EscadaConversor de Binário para DecimalGerador de Verdade ou Desafio AleatórioGerador de CriptogramaCalculadora de Ritmo de Corrida👙 Calculadora de Tamanho de SutiãCalculadora de Ingestão de ProteínaCalculadora de Média HarmônicaCalculadora de Tamanho de Impressão e Resolução (DPI/PPI)Selecionador de Filmes AleatórioGerador de Endereço Falso AleatórioAnalisador de Endereço MACCalculadora de Média, Mediana e ModaCalculadora de Dosagem de MedicamentoCalculadora de Posição do Sol⬛ Calculadora de Proporção de TelaCalculadora de Divisão LongaCalculadora de Número do Caminho da VidaCalculadora de Torque de ParafusoCalculadora de ÁreaCalculadora de Número de Desejo da AlmaSimplificador de FraçõesBola Mágica 8Gerador de DegradêRandomizador de Linhas de Texto de EntradaCalculadora de Aumento de PorcentagemGerador de Nomes AleatóriosPrimeiros n Dígitos do PiVerificador de Idade de DomínioCriador de Palavras CruzadasGerador de País AleatórioCalculadora de Número de DígitosRandomizador de Nomes OnlineCompactador de HTML Onlineconversor de palavra para número de telefone🔊 Gerador de TomCalculadora de FraçõesCalculadora de IdadeCalculadora de MultiplicaçãoCalculadora HexCalculadora de Média - Alta PrecisãoExtrator de Tags do YouTubeGerador de PIN AleatórioConversor Octal para DecimalEstimador de Ganhos do YouTubeRemover Números de Linha do TextoCalculadora de Percentil de Crescimento do BebêCalculadora de Tempo de LeituraCalculadora de Área SuperficialGerador de Grupos AleatóriosCalculadora de NPS (Net Promoter Score)Conversor de Porcentagem para PPMDivisor de ImagensExtrator de URLGerador de Molde Planificado de ConeCalculadora de Ganhos do Twitch⏱️ Calculadora de HorasConversor de Decimal para HexQual é o meu signo do zodíaco?Verificador de Nome de Usuário de Mídia SocialVerificador de Número Par ou ÍmparCalculadora de CoberturaCalculadora de Peso de AçoCalculadora de Tamanho de Cortina⏱️ Cronômetro OnlineQual é o meu Número da Sorte?🔍 Verificador de Plágio📅 Calculadora de Diferença entre DatasCalculadora de Log (Logaritmo)Calculadora de Mistura de Óleo 2 TemposCompressor de VídeoGerador de LabirintosLançador de MoedaRemovedor de Aspas InteligentesCalculadora de Cavalos de PotênciaCalculadora de Frações ComparadasCalculadora de Média GeométricaCalculadora de raiz quadradaCalculadora de redução de porcentagemSimulador de Portas LógicasCalculadora de Custo de ImpressãoConversor de Calendário HebraicoConversor de Pés e Polegadas em CentímetrosGerador de Número Decimal AleatórioSimulador de Soroban Ábaco JaponêsValidador de XMLVerificador de Contraste de Cores⏰ Calculadora de Cartão de PontoConversor de BaseConversor de psi para kPaConversor de Octal para BinárioGerador de Esboço de Artigo com IAGerador de Ligue os PontosInverter VídeoCalculadora de Distribuição de PoissonCalculadora de Juros de Cartão de CréditoConversor de Códigos de Cor (Todos os Formatos)Conversor de endereço IP para binárioGerador de Chaves de Torneio AleatórioGirar VídeoRelógio MundialCalculadora de ComissãoCalculadora de Cilindrada do MotorCalculadora de Inflação nos EUACalculadora de Risco de RuínaCalculadora de Signo LunarCalculadora de Vantagem MecânicaConversor de Tamanhos de SapatoConversor de Decimal para BCDGerador de Frases Aleatórias em InglêsBloco de Notas OnlineCalculadora de Área de Polígono IrregularCalculadora de Equilíbrio dos Elementos AstrológicosCalculadora de MolaridadeCalculadora de RetângulosCalculadora de Tamanho de Ponto CruzGerador de Data AleatóriaGerador de Versículos Bíblicos AleatóriosInverter TextoRemover Quebras de LinhaVerificador de Links QuebradosCalculadora de Tamanho de BicicletaCronômetro de Splits para SpeedrunCalculadora de StablefordCalculadora de Checkout de DardosCalculadora de Economia de Bowling no CríqueteCalculadora de Strike Rate no CríqueteCalculadora de Net Run RateCalculadora de Ratio K/DCalculadora de Rating EloCalculadora de Recuperação da Frequência CardíacaCalculadora de Tempo de CaminhadaCalculadora de Ritmo de RemoCalculadora de Corrida Ajustada por IdadeCalculadora de FTP e Zonas de PotênciaCalculadora de Beep TestCalculadora de Pontuação do ACFTCalculadora Wilks & DOTSCalculadora de Offset de RodaConsulta de Índice de Carga e Classificação de Velocidade do PneuCalculadora de Custo por MilhaCalculadora de Compra de LeasingCalculadora de Mistura de OctanagemCalculadora de Sofá na PortaCalculadora de Cordas de LenhaCalculadora de CADR de Purificador de ArCalculadora de Tamanho de DesumidificadorCalculadora de Tamanho de Ventilador de TetoCalculadora de Tamanho de TapeteCalculadora de Altura para Pendurar QuadrosCalculadora de Altura de Instalação de TVCalculadora de Tamanho de TVCalculadora de Volume e Lona de LagoCalculadora de Sal para PiscinaCalculadora de Volume de PiscinaCalculadora de Tamanho de Aquecedor de ÁguaCalculadora de Resina EpóxiCalculadora de Espaçamento de BalaústresCalculadora de Rodapé e AcabamentoCalculadora de RevestimentoCalculadora de Verniz para DeckCalculadora de Sementes de GramaCalculadora de GramaCalculadora de AsfaltoCalculadora de Jardas CúbicasCalculadora de Comprimento de AntenaCalculadora de Preenchimento de ConduíteCalculadora de Capacitores em Série e ParaleloCalculadora de Reatância IndutivaCalculadora de Iluminação de AmbientesCalculadora de Lux para LumensConversor de Lumens para WattsCalculadora de Tamanho de GeradorConversor de mAh para WhCalculadora de Potência TrifásicaCalculadora de kVACalculadora de Amperes para WattsCalculadora de Watts para AmpèresCalculadora de Resistores em SérieCalculadora de AtritoCalculadora de Plano InclinadoCalculadora de Velocidade do SomCalculadora de Velocidade da OndaCalculadora de EmpuxoCalculadora de Velocidade TerminalCalculadora de Comprimento de Onda de de BroglieCalculadora de Energia do FótonCalculadora E=mc²Calculadora de Dilatação do TempoCalculadora da Terceira Lei de KeplerCalculadora de Velocidade de EscapeCalculadora de Força GravitacionalCalculadora da Lei de Beer-LambertCalculadora da Equação de NernstCalculadora de Pressão OsmóticaCalculadora de Elevação do Ponto de EbuliçãoCalculadora de Depressão do Ponto de CongelamentoCalculadora de Composição PercentualCalculadora de NormalidadeCalculadora de MolalidadeConversor de pKa para KaCalculadora de Henderson-HasselbalchCalculadora de Rendimento TeóricoCalculadora de Reagente LimitanteCalculadora de Configuração EletrônicaTabela Periódica InterativaGerador de Plano de Aula com IAGerador de Quiz com IAGerador de Citações (APA/MLA/Chicago)Calculadora de Porcentagem de PresençaCalculadora de Pontuação APCalculadora de Pontuação ACTCalculadora de Pontuação do SATConversor de Porcentagem para CGPAConversor de CGPA para PorcentagemCorretor de Provas Fácil (EZ Grader)Calculadora do Custo de Criar um FilhoCalculadora de Consumo de Leite do BebêCalculadora de Tamanho de FraldasGerador de Nomes de BebêPreditor de Cor dos Olhos do BebêCalculadora de Percentil de IMC InfantilPreditor de Altura InfantilCalculadora de Tempo de Duplicação do hCGCalculadora de Data de Parto FIVCalculadora de ImplantaçãoPreditor Chinês de Sexo do BebêFormatador de Data ISO 8601Conversor de Data JulianaCalculadora de CochiloMoon Phase CalculatorCalculadora de Nascer e Pôr do SolConversor de Data para Números RomanosContagem Regressiva para AposentadoriaCalculadora de SobriedadeCalculadora de Meio AniversárioCalculadora de AniversárioCalculadora de Número da SemanaCalculadora de Divisão de GorjetasCalculadora de ROI de Email MarketingCalculadora de Custo por LeadCalculadora de Capital de Giro