Simplificador de Álgebra Booleana — Minimize Qualquer Expressão Lógica
Nosso Simplificador de Álgebra Booleana analisa qualquer expressão lógica construída com AND, OR, NOT, XOR, NAND, NOR e outros operadores, gera sua tabela verdade internamente, e executa o algoritmo Quine-McCluskey para reduzi-la à sua forma mínima de soma de produtos — o mesmo método rigoroso usado no design de lógica digital, com suporte a até 6 variáveis.
Resposta rápida
Esta ferramenta analisa sua expressão booleana, gera sua tabela verdade e executa o algoritmo Quine-McCluskey para produzir a expressão mínima equivalente em soma de produtos, com suporte a até 6 variáveis.
Use AND, OR, NOT, XOR, NAND, NOR (ou &, |, !, ^) e parênteses. As variáveis são letras como A, B, C.
Como usar Simplificador de Álgebra Booleana — Minimizador Quine-McCluskey Online
- 1
Insira uma expressão booleana usando variáveis (A, B, C...) e operadores como AND, OR, NOT, XOR.
- 2
Clique em 'Simplificar' para gerar a tabela verdade internamente e executar a minimização Quine-McCluskey.
- 3
Revise a expressão simplificada de soma de produtos e os implicantes primos usados para construí-la.
Por que usar Simplificador de Álgebra Booleana — Minimizador Quine-McCluskey Online?
Circuitos digitais são construídos com portas lógicas, e menos portas significam menos custo, menos consumo de energia e menos atraso — então reduzir uma expressão booleana à sua forma equivalente mais simples é uma etapa fundamental no design digital. O algoritmo Quine-McCluskey, desenvolvido por Willard Quine e Edward McCluskey na década de 1950, combina sistematicamente os mintermos da tabela verdade que diferem em exatamente uma variável para encontrar cada 'implicante primo', e então seleciona um pequeno conjunto de implicantes primos que ainda cobre cada saída verdadeira — produzindo uma expressão mínima ou quase mínima de soma de produtos, diferente da simplificação manual improvisada. Esta calculadora executa esse processo exato para expressões com até 6 variáveis, o mesmo limite prático usado pelo Gerador de Tabela Verdade do site.
Perguntas frequentes
Ferramentas relacionadas
Gerador de Tabela Verdade — Expressões de Lógica Booleana Online
Gere tabelas verdade para qualquer expressão de lógica booleana — AND, OR, NOT, XOR, NAND, NOR e operadores condicionais. Calculadora gratuita com detecção automática de tautologia e contradição.
Solucionador de Mapa de Karnaugh (K-Map) — 2 a 4 Variáveis Online
Resolva um mapa de Karnaugh para 2, 3 ou 4 variáveis a partir de uma lista de mintermos. Solucionador K-Map gratuito com grade visual, células agrupadas e a expressão mínima de soma de produtos.
Calculadora de Bits — AND, OR, XOR, NOT, Deslocamentos Online
Realize operações a nível de bits — AND, OR, XOR, NOT, deslocamento à esquerda e à direita — em inteiros instantaneamente. Calculadora gratuita com diagrama visual interativo de bits para cada operação.