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:

Calculadora de Valor AbsolutoNovo
Simplificador de Expressões Algébricas
Verificador de Números AmigáveisNovo
Conversor de BaseEm Destaque
Calculadora BináriaEm Destaque
Visualizador de Vai um e EmprestaNovo
Calculadora de conversão de decimal para fração
Calculadora de Frações EgípciasNovo
Simplificador de Frações
Solucionador de Mapa de Karnaugh (K-Map)Novo

Operações matemáticas avançadas:

Ferramentas em destaque:

Gerador de Cartelas de BingoRemover espaçosGerador de Letras AleatóriasCalculadora de Número de ExpressãoGerador de Código MorseCalculadora de Compatibilidade AmorosaGerador de Cores AleatóriasPesquisa de ID de Usuário do InstagramCalculadora de Número de Destino📅 Calculadora de DatasCalculadora BináriaCalculadora de ProporçãoFormatador de TextoCalculadora de Signo Solar, Lunar e Ascendente 🌞🌙✨Gerador de endereços MACCalculadora de Dia do Ano - Que Dia do Ano é Hoje?Contador de linhasDecodificador de Código Morsepesquisa-de-endereço-MACCalculadora de Desvio Padrão RelativoCalculadora de CombinaçãoCalculadora de Média HarmônicaCalculadora de número de anjoClassificar NúmerosGerador de Superpoder AleatórioGerador de Caça-PalavrasConversor de Hex para BinárioConversor de Binário para HexGerador de IMEI Aleatório📅 Calculadora de Diferença entre DatasCalculadora de Desvio Padrão - Alta PrecisãoCalculadora do Teste Qui-QuadradoGerador de Palavras Aleatórias em InglêsCalculadora de 1RM (Repetição Máxima)Remover acentos do texto⏱️ Calculadora de HorasCalculadora de IdadeCalculadora de MedianaGerador de Números da LoteriaCalculadora de Número MestreConversor de Tamanho de ArquivoCalculadora de Variação PercentualPesquisa de ID de Usuário do Facebookconversor de palavra para número de telefoneconversor de ppm para porcentagemCalculadora de cálcio corrigidaSimulador de Portas LógicasGerador de Hora AleatóriaGerador de Cartas de Baralho AleatórioGerador de Endereço Falso AleatórioRemover Linhas Vazias do TextoRandomizador de Nomes OnlineGerador de AnagramasLista de Anos BissextosSelecionador de Nomes AleatóriosGerador de País AleatórioCalculadora de Dosagem de MedicamentoGerador de Cartão de Crédito AleatórioConversor de BaseInverter TextoRandomizador de ListasDivisor de ÁudioGerador de Embaralhar PalavrasPrimeiros n Dígitos do PiCalculadora de NumerologiaConversor de Porcentagem para PPMGerador de Texto Pequeno ⁽ᶜᵒᵖʸ ⁿ ᵖᵃˢᵗᵉ⁾🖱️ Contador de CliquesConversor de endereço IP para binárioConversor de Graus Decimais para DMSConversor de Binário para OctalGerador de Aniversário AleatórioConversor Octal para DecimalGerador de CriptogramaCalculadora de Taxa de Crescimento PercentualGerador de Grupos AleatóriosQual é o meu Número da Sorte?Calculadora de Retorno de SaturnoDivisor de ImagensExtrator de Imagem de VídeoCalculadora de Média, Mediana e ModaCriador de Palavras CruzadasGerador de Coordenadas AleatóriasGerador de Tabela VerdadeVerificador de Nome de Usuário de Mídia SocialGerador aleatório de animaisGerador de Nomes AleatóriosAnalisador de Endereço MACGirar VídeoLançador de MoedaCalculadora de raiz quadradaFerramenta Online para Remover PontuaçãoCalculadora de Estratégia MartingaleAdicionar Quebras de LinhaCalculadora de Monetização do YouTube ShortsConversor de cm para Pés e PolegadasCalculadora de Número de Desejo da AlmaConversor de Binário para DecimalFerramenta de Cifra de CésarCalculadora HexConversor de Decimal para BinárioGerador de LabirintosEstatísticas do Canal do YouTubeGerador de Versículos Bíblicos AleatóriosGraficador de Função TrigonométricaCalculadora de Passos para DistânciaGerador de Sequência AleatóriaCalculadora de Log (Logaritmo)Calculadora de Octal para HexadecimalCalculadora de MóduloCalculadora de Média Geométricacalculadora-hba1cCalculadora de bônusCalculadora de Derivadas ParciaisCalculadora de Intervalo InterquartilCalculadora de redução de porcentagemCalculadora de Coeficiente de VariaçãoCalculadora de distribuição binomialConversor de Notação Científica para DecimalValidador de XMLCompactador de HTML OnlineGerador de Número Decimal AleatórioExtrator de Tags do YouTubeGerador de Personagem RPG AleatórioCalculadora de EscadaCalculadora de notação científicaConversor de Decimal para HexCalculadora de FraçõesConversor de Libras para QuilogramasCalculadora de Tamanho de Impressão e Resolução (DPI/PPI)Conversor de Tamanhos de SapatoGerador de Hash SHA256Calculadora de Aumento de PorcentagemCalculadora de Log Base 10Estimador de Ganhos do YouTubeConversor de Octal para BinárioCalculadora de Número de DígitosGerador de Endereço IP AleatórioGerador de Texto InvisívelGerador de Verdade ou Desafio AleatórioCalculadora de Erro PadrãoCalculadora de Erro PercentualConversor de Fração para PercentualCalculadora de NotasSimplificador de Álgebra BooleanaExtrator de Números de TelefoneRemover Quebras de LinhaCalculadora de Nota de ProvaCalculadora de Peso de AçoSelecionador AleatórioCalculadora de Número do NomeConversor de FPSConversor de kPa para psiExtrator de URL🔊 Gerador de TomRemover Números de Linha do TextoCalculadora de CírculoCalculadora de MultiplicaçãoGerador de Quadrado MágicoCalculadora de ArredondamentoCalculadora ANOVACalculadora de quociente e restanteCalendário do Dia do AnoConversor de decimal para notação científicaÉ um Número Primo?Calculadora de Área de Polígono IrregularCalculadora de Estimativacalculadora-de-expoentes-alta-precisãoCalculadora OctalConversor de Hexadecimal para OctalMesclar VídeosCalculadora de Tipo CorporalGerador de Estado Americano AleatórioCalculadora de Molaridade⏱️ Cronômetro OnlineGerador de Hash Argon2Gerador de Ligue os PontosCalculadora de Números ComplexosContador de SílabasRemovedor de Caracteres InvisíveisBaixador de Miniaturas do YouTubeCalculadora de Déficit CalóricoCalculadora de Mínimo Múltiplo ComumCalculadora de tempo de dobraCalculadora de Número de PersonalidadeGerador de Código de BarrasGerador de Número Inteiro AleatórioGerador de User-Agent AleatórioGerador de Data AleatóriaCalculadora de Circunferência de ElipseCalculadora de Horas de TrabalhoCalculadora de LinhaCalculadora de ProporçãoConversor de Número para PalavraCriador de Box Plot (Gráfico de Caixa)Calculadora de dia da semana de nascimentoCalculadora de Lógica BináriaCalculadora de Percentil de AlturaCalculadora de Ritmo de NataçãoConversor de psi para kPaCalculadora de Dose Padrão de ÁlcoolSugestor de Harmonização de VinhosConversor de Graus de EscaladaCalculadora de Relação de Marchas de BicicletaCalculadora de Resistência de Nós de PescaTemporizador de Posturas de YogaCalculadora de SWOLF de NataçãoPreditor de Tempo de CorridaCalculadora de Potência de Soco no BoxeCalculadora de Pontos de RugbyCalculadora de Run Rate de CríqueteCalculadora de xG (Gols Esperados) no FutebolMarcador de TênisCalculadora de Escore de Wells (TVP/EP)Calculadora da Escala de Coma de GlasgowCalculadora de Escore de APGARCalculadora de FFMICalculadora de Corrida de 12 Minutos de CooperCalculadora do Teste de Caminhada de Uma Milha RockportCalculadora de Massa Magra para ForçaCalculadora de Relação Carboidrato-InsulinaCalculadora de Fator de Sensibilidade à InsulinaConversor de Calendário HebraicoConversor de Calendário HijriConversor de Calendário LunarCalculadora de Idade em CulturasCalculadora de Há Quanto TempoCalculadora Quanto Tempo AtéGerador de Padrão de DatasCalculadora de Data IntermediáriaAdicionar Dias Úteis a uma DataCalculadora de Dias ÚteisAnalisador de Frequência de PalavrasAnalisador de Variação de Comprimento de FrasesEditor de Legibilidade Estilo HemingwayConversor de Pronúncia IPAFerramenta de Cifra de VigenèreFerramenta de Cifra AtbashCodificador e Decodificador ROT13Visualizador e Removedor de Dados EXIFTradutor de Pig LatinGerador de BackronymsGerador de AcrônimosVerificador de PangramasVerificador de LipogramaRastreador de Imagem para SVGConversor de Imagem para Arte ASCIIGerador de Esquema JSONPlayground TypeScriptCompilador de Less para CSSCompilador de SCSS para CSSConversor de SVG para React/JSXConstrutor de Query StringAnalisador de URLValidador e Decodificador de UUIDReferência de Códigos de Status HTTPConstrutor de Comandos cURLGerador de Triângulo de SierpinskiPlotador de Superfície 3DPlotador de Equações PolaresGerador de Conjunto de JuliaExplorador do Conjunto de MandelbrotGerador de Fractais L-SystemGerador de Triangulação de DelaunayGerador de Diagrama de VoronoiGerador de EspirógrafoGerador de TesselaçãoCalculadora de Capacidade de Processo Seis SigmaGerador de Gráfico de ParetoCalculadora de NPS (Net Promoter Score)Calculadora de Retenção de CoorteCalculadora de Taxa de RotatividadeCalculadora de Custo de Aquisição de Cliente (CAC)Calculadora de Valor Vitalício do Cliente (CLV)Calculadora de Taxa de ConversãoCalculadora de Tamanho de Amostra para Teste A/BCalculadora de Significância de Teste A/BCalculadora da Equação das LentesCalculadora de Campo Magnético de FioCalculadora de Campo ElétricoCalculadora da Lei de CoulombCalculadora da Lei de SnellCalculadora de Momento de InérciaCalculadora de Velocidade AngularCalculadora de Força CentrípetaCalculadora de Período do PênduloCalculadora de Constante de MolaCalculadora de Efeito DopplerCalculadora do Índice de SortinoCalculadora de Índice de TreynorCalculadora de Beta de AçõesCalculadora de Títulos do Tesouro Protegidos Contra Inflação (TIPS)Calculadora de Recálculo de HipotecaCalculadora de Taxa a TermoCalculadora de Duração do Título (Macaulay e Modificada)Calculadora de Convexidade de TítulosCalculadora de Anuidade Indexada FixaCalculadora de Anuidade VariávelCalculadora de Hipoteca ReversaCalculadora de Pagamento de AnuidadeSimulador de Soroban Ábaco JaponêsMultiplicação Camponesa RussaCalculadora de Truques de Matemática VédicaCalculadora de Multiplicação EgípciaCalculadora de Matemática com Números RomanosTreinador de Matemática MentalQuiz de TabuadaVisualizador de Vai um e EmprestaGerador de Decomposições NuméricasSolucionador de Problemas de MoedasCalculadora do Triângulo Distância-Velocidade-TempoResolvedor de Problemas de Taxa de TrabalhoResolvedor de Problemas de MisturaSolucionador de Problemas de IdadeSolucionador de Problema de Encontro de TrensCalculadora de HidrataçãoCalculadora de Ritmo para CaloriasCalculadora de Calorias do ÁlcoolCalculadora de Recomposição CorporalGerador de Tópicos de Debate AleatóriosGerador de Nomes Aleatórios para Gatos e CãesGerador de Problemas de Matemática AleatóriosGerador de Parágrafos AleatóriosGerador de Frases Aleatórias em InglêsCalculadora de Cascalho, Areia e SoloCalculadora de Torque de ParafusoCalculadora de Fluxo em TubosCalculadora de Carga de VigaConversor de Dólar para OuroCalculadora de Probabilidade de OpçõesCalculadora de Desdobramento de AçõesCalculadora de ESPPCalculadora de Multa por Atraso em FaturaCalculadora de Tarifa Horária para FreelancersCalculadora de Leasing vs CompraDivisor de Conta com Gorjeta AvançadoGerador de Lista de BagagemCalculadora de Jet LagCalculadora de Orçamento de ViagemCalculadora de Distância de VooCalculadora de Perda de CalorCalculadora de Custo de Geração de EletricidadeCalculadora de Uso de ÁguaCalculadora de Custo de Energia de EletrodomésticosCalculadora de Auditoria Energética ResidencialCalculadora de ROI SolarCalculadora de Painéis SolaresCalculadora de Compostagem C:NCalculadora de Fertilizante para GramadoCalculadora de Datas de GeadaCalculadora de Solo para Canteiro ElevadoCalculadora de Fertilizante NPKCalculadora de Taxa de Germinação de SementesCalculadora de Bitrate de VídeoTranspositor de Tom MusicalCalculadora de BPM por ToqueEstimador de Tamanho de Arquivo de FotoCalculadora de Megapixel para Tamanho de ImpressãoCalculadora de Fator de CorteCalculadora do Triângulo de ExposiçãoCalculadora de Capacidade de Reboque do VeículoCalculadora de Leasing de CarroCalculadora de 0–60 e Quarto de MilhaCalculadora de Tempo de Carregamento de VECalculadora de Autonomia VECalculadora de Distância 3DCalculadora de TorusCalculadora de Tronco de ConeCalculadora de Polígono RegularIdentificador de Seção CônicaCalculadora de HipérboleCalculadora de Divisão LongaContador de Caracteres Twitter/XSeletor de Comentários do YouTube