Simplifique seu fluxo de trabalho: Pesquise miniwebtool.
Adicionar
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

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.

Outras ferramentas relacionadas:

Simplificador de Expressões Algébricas
Conversor de BaseEm Destaque
Calculadora BináriaEm Destaque
Solucionador de Mapa de Karnaugh (K-Map)Novo
Solucionador de Equações Lineares
Simulador de Portas LógicasNovo
Calculadora de Função de MöbiusNovo
Calculadora de Fatoração de Polinômios
Gerador de Tabela VerdadeNovo

Operações matemáticas avançadas:

Ferramentas em destaque:

Calculadora de Número de ExpressãoRemover espaçosCalculadora BináriaGerador de endereços MACGerador de Letras AleatóriasGerador de Código MorseCalculadora de Desvio Padrão RelativoCalculadora de Compatibilidade AmorosaGerador de Cartelas de BingoGerador de Cores Aleatóriaspesquisa-de-endereço-MACContador de linhasCalculadora de Proporção📅 Calculadora de DatasClassificar NúmerosCalculadora de Desvio Padrão - Alta PrecisãoCalculadora de CombinaçãoConversor de Hex para BinárioFormatador de TextoCalculadora de Número de DestinoGerador de Caça-PalavrasCalculadora de Signo Solar, Lunar e Ascendente 🌞🌙✨Gerador de IMEI AleatórioCalculadora de número de anjoCalculadora de Média HarmônicaDecodificador de Código MorseCalculadora de MedianaCalculadora de cálcio corrigidaCalculadora de Dia do Ano - Que Dia do Ano é Hoje?Conversor Octal para DecimalGerador de Palavras Aleatórias em InglêsConversor de Pés e Polegadas em Centímetros📅 Calculadora de Diferença entre DatasConversor de Binário para OctalCalculadora de Variação PercentualCalculadora de 1RM (Repetição Máxima)Pesquisa de ID de Usuário do InstagramRemover Linhas Vazias do TextoConversor de kPa para psiGerador de Superpoder AleatórioConversor de Binário para HexGerador de AnagramasConversor de Octal para BinárioRemover acentos do textoExtrator de Imagem de VídeoGerador de Números da Loteriaconversor de ppm para porcentagemCalculadora de NumerologiaGerador de Endereço Falso AleatórioCalculadora de Estratégia MartingaleLista de Anos BissextosGerador de LabirintosCalculadora OctalCalculadora de bônusCalculadora de Coeficiente de VariaçãoCalculadora de Número MestreGerador de Cartas de Baralho AleatórioConversor de Tamanho de ArquivoAdicionar Números de Linha ao TextoConversor de Hexadecimal para OctalCalculadora de Número de Desejo da AlmaConversor de cm para Pés e PolegadasCalculadora de Octal para HexadecimalCalculadora de Taxa de Crescimento PercentualFerramenta Online para Remover PontuaçãoCalculadora de Números ComplexosPesquisa de ID de Usuário do FacebookCalculadora de Retorno de SaturnoPrimeiros n Dígitos do PiCalculadora de Erro PercentualCriador de Box Plot (Gráfico de Caixa)Divisor de ÁudioCalculadora de raiz quadradaCalculadora HexDivisor de ImagensGerador de Criptogramacalculadora-hba1cCalculadora de Média, Mediana e ModaConversor de BaseGerador de Personagem RPG AleatórioAnalisador de Endereço MACCalculadora de Número do NomeCalculadora de Log Base 10Gerador de Embaralhar PalavrasBuscador de EmpregosGerador de Nomes AleatóriosCalculadora de quociente e restanteConversor de Decimal para BinárioCalculadora de IdadeRandomizador de Nomes OnlineGerador de Aniversário AleatórioSelecionador de Filmes AleatórioGerador de Hora AleatóriaConversor de Binário para DecimalCalculadora de Ritmo de NataçãoGerador de Coordenadas AleatóriasCalculadora de Log (Logaritmo)Conversor Decimal para OctalCalculadora de Média GeométricaCalculadora de EntropiaCalculadora de Matriz de AdjacênciaCalculadora de Ordenação TopológicaCalculadora de Coloração de GrafosSimulador de Portas LógicasSolucionador de Mapa de Karnaugh (K-Map)Simplificador de Álgebra BooleanaCalculadora de Função de PartiçãoCalculadora de Raiz DigitalVerificador de Número de FibonacciCalculadora de Frações EgípciasCalculadora de Função de MöbiusVerificador da Conjectura de GoldbachVerificador de Primo de MersenneLocalizador de Primos GêmeosVerificador de Números AmigáveisVerificador de Número PerfeitoCalculadora de Exponenciação ModularCalculadora de Permutações com RepetiçãoCalculadora de Tamanho de EfeitoCalculadora de Risco RelativoCalculadora de Razão de ChancesCalculadora de Tabela de ContingênciaCalculadora do Teste Exato de FisherCalculadora de Correlação de Postos de SpearmanCalculadora de Distribuição BetaCalculadora de Distribuição de WeibullCalculadora de Distribuição ExponencialCalculadora de Distribuição GeométricaCalculadora de Distribuição Binomial NegativaCalculadora de Distribuição HipergeométricaCalculadora de Teste F e Distribuição FCalculadora do Teorema de BayesCalculadora de Polinômio CaracterísticoCalculadora de Potência de MatrizCalculadora de Decomposição de CholeskyCalculadora de Decomposição QRCalculadora de Diagonalização de MatrizCalculadora Regra de CramerCalculadora de Espaço ColunaCalculadora de Espaço NuloCalculadora de Ângulo Entre VetoresCalculadora de Vetor UnitárioCalculadora de Magnitude de VetorCalculadora de Produto VetorialCalculadora de Produto EscalarCalculadora de Multiplicação de MatrizesCalculadora de Matriz InversaCalculadora RREF (Forma Escalonada Reduzida)Calculadora do Método de NewtonCalculadora de Matriz JacobianaCalculadora de Integral de SuperfícieCalculadora de Integral de LinhaCalculadora de RotacionalCalculadora de DivergênciaCalculadora de Gradiente MultivariávelCalculadora de Otimização (Cálculo)Solucionador de Taxas RelacionadasCalculadora de Taxa de Variação InstantâneaCalculadora de Taxa Média de VariaçãoCalculadora de Soma de Séries InfinitasCalculadora de Teste de Convergência de SériesCalculadora de Séries de PotênciaCalculadora de Série de MaclaurinCalculadora da Regra de L'HôpitalCalculadora de Integral ImprópriaCalculadora da Regra de SimpsonCalculadora da Regra TrapezoidalCalculadora de Soma de RiemannGraficador de Curvas ParamétricasCalculadora de Superfície de RevoluçãoCalculadora de Volume de RevoluçãoCalculadora de Distância em Geometria CoordenadaCalculadora Fórmula de HeronCalculadora de Linha Tangente ao CírculoCalculadora de Bissetriz do ÂnguloCalculadora de Círculo Inscrito (Incírculo)Calculadora de Circunscrição (Circuncírculo)Calculadora de Distância do Grande CírculoCalculadora de Distância 3DCalculadora de TorusCalculadora de Tronco de ConeCalculadora de Área de Polígono IrregularCalculadora de Polígono RegularIdentificador de Seção CônicaCalculadora de HipérboleCalculadora de ParábolaCalculadora de Expansão do Teorema BinomialGerador do Triângulo de PascalCalculadora de Notação de Produto (Notação Pi)Calculadora de Notação Sigma (Somatório)Calculadora do Teorema da Raiz RacionalCalculadora da Regra dos Sinais de DescartesCalculadora de Linhas Paralelas e PerpendicularesCalculadora de Equação da RetaConversor de Forma Padrão para Forma ReduzidaCalculadora de Forma Ponto-InclinaçãoResolvedor de Sistema de Equações Não LinearesSolucionador de Equações RacionaisResolvedor de Equações LiteraisSolucionador de Equações TrigonométricasResolvedor de Equações ExponenciaisResolvedor de Equações LogarítmicasCalculadora de Equação QuárticaSolucionador de Equação CúbicaCalculadora de EstimativaConversor de Número para FraçãoGerador de Contagem SalteadaCalculadora de Taxa UnitáriaCalculadora de Teto e PisoCalculadora de Valor AbsolutoEncontrador de Padrões NuméricosGerador de Gráfico de Valor PosicionalCalculadora de Ordem das Operações (PEMDAS)Calculadora de Adição e Subtração LongaCalculadora de Multiplicação LongaGerador de Tabuada🎮 Conversor de Moeda de Jogo🎲 Calculadora de Probabilidade de Loot🎰 Calculadora de Pity Gacha⚔️ Calculadora de DPS🎮 Conversor de Sensibilidade de Jogos❄️ Calculadora de Dia de Neve🚚 Estimador de Custo de Mudança🔍 Verificador de Plágio📷 OCR / Imagem para Texto📈 Criador de Gráfico de Linha🥧 Criador de Gráfico de Pizza📊 Criador de Gráfico de Barras🔊 Gerador de Tom🖱️ Contador de CliquesBloco de Notas Online⬛ Calculadora de Proporção de Tela🌍 Calculadora de Pegada de Carbono👙 Calculadora de Tamanho de SutiãCalculadora de Tamanho de PneuCalculadora de Custo de Combustível💧 Calculadora de Ponto de Orvalho🌡️ Calculadora de Índice de Calor🌬️ Calculadora de Sensação Térmica do Vento⏰ Despertador Online⏰ Calculadora de Cartão de Ponto🕐 Conversor de Hora Militar⏱️ Calculadora de Horas⏱️ Cronômetro Online⏱️ Temporizador de Contagem Regressiva🌐 Conversor de Fuso HorárioCalculadora de CarpeteCalculadora de Muro de ContençãoCalculadora de Dimensionamento HVACCalculadora de IsolamentoCalculadora de PavimentaçãoCalculadora de VergalhãoCalculadora de MadeiraCalculadora de Metragem QuadradaCalculadora de Multiplicação CruzadaCalculadora de Resumo de Cinco NúmerosCalculadora de PercentilCalculadora de Distribuição NormalCalculadora de Valor PCalculadora de ProporçãoCalculadora de Completar o QuadradoCalculadora de ArredondamentoCalculadora de Divisão LongaCalculadora CientíficaTemporizador de Estudo PomodoroCalculadora de Algarismos SignificativosCalculadora de Nota de ProvaCalculadora de Média PonderadaCalculadora de Nota FinalCalculadora de NotasCalculadora de Frequência de RessonânciaCalculadora de ImpedânciaCalculadora de Decibéis (dB)Calculadora de Fator de PotênciaCalculadora de Constante de Tempo RCCalculadora de TransformadorCalculadora de Bitola de FioCalculadora de Timer 555Calculadora de CapacitorCalculadora de Resistores em ParaleloCalculadora de Divisor de TensãoCalculadora de Resistor para LEDConversor de Mol/Grama/PartículaCalculadora de TitulaçãoCalculadora de Ponto de EbuliçãoCalculadora de Fórmula EmpíricaCalculadora de Rendimento PercentualCalculadora de EstequiometriaBalanceador de Equações QuímicasCalculadora de DiluiçãoCalculadora de Cavalos de PotênciaCalculadora de TorqueCalculadora de Queda LivreCalculadora da Lei dos Gases IdeaisCalculadora de PressãoCalculadora de DensidadeCalculadora de Trabalho e PotênciaCalculadora de Energia PotencialCalculadora de Energia CinéticaCalculadora de Movimento de ProjétilCalculadora de MomentoCalculadora de VelocidadeCalculadora de AceleraçãoCalculadora de ForçaCalculadora de ROI de InfluenciadorCalculadora de ROASCalculadora de CTRVerificador de Nome de Usuário de Mídia SocialOtimizador de Horário de Postagem em Mídias SociaisCalculadora de ROI de Mídias SociaisCalculadora de Custos de Anúncios do FacebookCalculadora de Monetização do YouTube ShortsCalculadora de Ganhos do TwitchCalculadora de Tempo de Exibição do YouTubeConversor de Timestamp do Twitter/XEstatísticas do Canal do YouTubeCalculadora de Dinheiro do TikTokGuia de Tamanho de Imagem para Redes SociaisGerador de Fontes para InstagramContador de Caracteres Twitter/XSeletor de Comentários do YouTubeExtrator de Tags do YouTubeBaixador de Miniaturas do YouTubeEstimador de Ganhos do YouTube