Semplifica il tuo flusso di lavoro: cerca miniwebtool.
Aggiungi
Pagina Iniziale > Matematica > Operazioni matematiche avanzate > Semplificatore di Algebra Booleana
 

Semplificatore di Algebra Booleana

Semplifica le espressioni booleane utilizzando le leggi algebriche, Quine-McCluskey e la minimizzazione con le mappe di Karnaugh. Inserisci qualsiasi espressione logica (AND, OR, NOT, XOR, NAND, NOR) e ottieni istantaneamente la forma SOP/POS minima, la tabella di verità completa, la visualizzazione della mappa K, il diagramma delle porte logiche, l’applicazione passo-passo delle leggi ed equivalenti solo NAND/NOR.

Semplificatore di Algebra Booleana
Esempi:
Inserisci:
SINTASSI ACCETTATA
AND: & · AB  |  OR: + |  |  NOT: ~ ! A'  |  XOR NAND NOR

Embed Semplificatore di Algebra Booleana Widget

Semplificatore di Algebra Booleana

Il Semplificatore di Algebra Booleana riduce qualsiasi espressione logica alla sua forma minima utilizzando l'algoritmo di Quine-McCluskey e l'analisi della mappa di Karnaugh. Inserisci espressioni con AND, OR, NOT, XOR, NAND, NOR (o simboli come &, |, ~, ^, postfisso A') e ricevi istantaneamente la tabella della verità completa, una mappa K colorata con cicli di implicanti primi, una tabella degli implicanti primi che segna gli essenziali, una derivazione passo-passo e implementazioni equivalenti solo NAND e solo NOR.

Cosa produce il Semplificatore

📊
Tabella della Verità
Tutte le \(2^n\) combinazioni di input con l'output dell'espressione.
🗺️
Mappa di Karnaugh
Griglia in codice Gray con ogni implicante primo delineato.
🎯
SOP / POS Minima
Minor numero di letterali e termini: le forme ottimali.
🧩
Implicanti Primi
Con indicatori essenziali per sapere quali sono richiesti.
↑↓
Forme NAND/NOR
Equivalenti a porta universale per la sintesi dei circuiti.
↘
Passaggio dopo Passaggio
La derivazione di Quine-McCluskey spiegata.

Leggi dell'Algebra Booleana — Riferimento

LeggeForma ORForma AND
Identità\( A + 0 = A \)\( A \cdot 1 = A \)
Nullità\( A + 1 = 1 \)\( A \cdot 0 = 0 \)
Idempotenza\( A + A = A \)\( A \cdot A = A \)
Complemento\( A + \overline{A} = 1 \)\( A \cdot \overline{A} = 0 \)
Doppia Negazione\( \overline{\overline{A}} = A \)
Commutativa\( 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) \)
Assorbimento\( 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 \)

Guida rapida alla sintassi di input

OperatoreForme AccettateEsempio
AND&, *, ·, ., concatenazione AB, parola AND, ∧A&B, AB, A AND B
OR+, |, parola OR, ∨A+B, A | B, A OR B
NOT~, !, ¬, parola NOT, postfisso '~A, !A, A', (AB)'
XOR^, ⊕, parola XORA XOR B, A^B
NAND⊼, parola NANDA NAND B
NOR⊽, parola NORA NOR B
Implica->, =>, parola IMPLIES, →A -> B
Equivalenza<->, <=>, parola IFF, ↔A <-> B
Costanti0 1 TRUE FALSEA + 0, A * 1

L'algoritmo di Quine-McCluskey

Il metodo Quine-McCluskey è un approccio tabellare sistematico per trovare l'espressione minima Somma di Prodotti. A differenza della mappa di Karnaugh (che è visiva e limitata a circa 6 variabili), Quine-McCluskey è scalabile e produce sempre una copertura minima garantita.

  1. Elenca tutti i mintermini — ogni riga della tabella della verità che valuta 1.
  2. Raggruppa per conteggio bit a 1 — ordina i mintermini in base al numero di 1 nella loro rappresentazione binaria.
  3. Combina gruppi adiacenti — le coppie che differiscono per esattamente un bit si fondono, sostituendo quel bit con un trattino. Ripeti fino a quando non sono più possibili combinazioni.
  4. Raccogli gli implicanti primi — qualsiasi termine che non è stato combinato ulteriormente è un implicante primo.
  5. Costruisci la tabella degli implicanti primi — una griglia con gli implicanti come righe e i mintermini come colonne. Segna quali implicanti coprono quali mintermini.
  6. Seleziona gli implicanti essenziali — qualsiasi implicante che sia l'unico a coprire un mintermine è essenziale.
  7. Copri i restanti mintermini — scegli implicanti aggiuntivi per coprire i mintermini non ancora coperti dagli essenziali, minimizzando il conteggio dei letterali.

Come usare il Semplificatore di Algebra Booleana

  1. Inserisci l'espressione: Digita qualsiasi espressione booleana usando la notazione che preferisci. Puoi mescolare gli stili: A.B + A'C e A AND B OR NOT A AND C vengono analizzati in modo identico.
  2. Clicca su Semplifica: Lo strumento analizza, costruisce la tabella della verità, esegue Quine-McCluskey e minimizza l'espressione.
  3. Studia la mappa K: Ogni ciclo colorato è un implicante primo. Gli implicanti essenziali sono disegnati con linee continue, i non essenziali con tratteggi.
  4. Rivedi i passaggi: Il pannello passo-passo ti guida dalla SOP canonica attraverso la scoperta degli implicanti primi fino alla forma minima.
  5. Ispeziona le forme equivalenti: Usa la POS minima quando la tua tecnologia di destinazione è OR-di-AND, o la forma solo NAND quando miri a silicio basato su porte NAND.

Applicazioni

CampoCaso d'uso
Progettazione di circuiti digitaliMinimizzare il numero di porte nella logica combinatoria: meno porte significano minore potenza, chip più piccoli, ritardo di propagazione ridotto.
Ottimizzazione del compilatoreSemplificare le espressioni condizionali nelle istruzioni if e nelle guardie dei cicli per ridurre il costo di valutazione del ramo.
Logica programmabile (FPGA)Inserire più logica nelle tabelle di look-up disponibili producendo forme con letterali minimi.
Ottimizzazione query databaseRiscrivere i predicati della clausola WHERE in forme equivalenti ma più economiche da valutare.
Verifica formaleLe forme canoniche (SOP/POS) consentono il controllo dell'equivalenza di due specifiche.
Insegnamento / CorsiVerificare i compiti, studiare la selezione degli implicanti primi, esplorare le strategie di raggruppamento delle mappe K.

FAQ

Cos'è la semplificazione dell'algebra booleana?
La semplificazione dell'algebra booleana riduce un'espressione logica a un'espressione equivalente con meno operazioni e letterali. Un'espressione più semplice significa meno porte logiche nell'hardware, una valutazione più rapida nel software e una verifica umana più facile. I metodi includono l'applicazione delle leggi algebriche, le mappe di Karnaugh e l'algoritmo di Quine-McCluskey — questo strumento li combina tutti e tre.
Cos'è la forma minima Somma di Prodotti (SOP)?
La forma minima Somma di Prodotti scrive una funzione booleana come un OR del minor numero possibile di termini di prodotto, dove ogni prodotto utilizza il minor numero possibile di letterali. Si trova espandendo la funzione nella sua SOP canonica (un mintermine per riga vera), quindi combinando i mintermini adiacenti utilizzando la regola \( XY + \overline{X}Y = Y \) fino a quando non è più possibile alcuna combinazione. Il risultato è un circuito AND-OR minimo a due livelli.
Come funziona una mappa di Karnaugh?
Una mappa di Karnaugh è una griglia in cui righe e colonne sono etichettate con schemi di bit in codice Gray in modo che le celle fisicamente adiacenti differiscano per esattamente una variabile. Gruppi di celle 1 adiacenti di dimensioni 1, 2, 4 o 8 corrispondono a termini di prodotto che eliminano rispettivamente 0, 1, 2 o 3 variabili. I gruppi più grandi possibili forniscono il minor numero di letterali per termine — quindi la strategia è "coprire ogni 1 con i rettangoli legali più grandi".
Cos'è un implicante primo?
Un implicante primo è un termine di prodotto che copre un gruppo di mintermini e non può essere combinato con nessun altro gruppo adiacente per formare un gruppo più grande. Un implicante primo essenziale è quello che è l'unico implicante primo che copre almeno un mintermine specifico: deve apparire in ogni copertura minima. Gli implicanti primi non essenziali sono opzionali e inclusi solo quando necessario per coprire i mintermini rimanenti.
Quale sintassi di input accetta il semplificatore?
Puoi scrivere AND come &, *, ·, . o semplice concatenazione (AB significa A AND B). OR può essere + o |. NOT può essere ~, !, ¬ o un apostrofo postfisso (A', (A+B)'). Funzionano anche gli operatori testuali AND OR NOT XOR NAND NOR IMPLIES IFF, così come le forme a freccia -> e <->. Le parentesi raggruppano le sotto-espressioni. Le costanti 0 e 1 (o TRUE/FALSE) rappresentano valori fissi.
Perché le forme solo NAND e solo NOR sono utili?
NAND e NOR sono chiamate porte universali perché qualsiasi funzione booleana può essere costruita utilizzando solo una di esse. Nel silicio reale, le porte NAND sono solitamente le più veloci ed economiche da produrre, quindi i compilatori per la logica programmabile spesso mirano a una netlist di soli NAND. Il semplificatore mostra le espressioni equivalenti solo NAND e solo NOR — un'espressione solo NAND può essere letta direttamente come un circuito NAND-NAND a due livelli, che è strutturalmente identico a un circuito AND-OR nella teoria della commutazione.
Quante variabili supporta lo strumento?
Fino a 8 variabili. La mappa di Karnaugh viene renderizzata per 2, 3 e 4 variabili (dimensioni griglia 2×2, 2×4 e 4×4 con etichettatura in codice Gray). Per più di 5 variabili la tabella della verità cresce fino a oltre 32 righe ma l'algoritmo di Quine-McCluskey produce comunque la forma minima esatta — la mappa K viene semplicemente omessa poiché le mappe 3D o divise sono difficili da leggere.
Posso verificare se due espressioni booleane sono equivalenti?
Sì — semplifica entrambe le espressioni indipendentemente. Se le loro forme SOP minime sono identiche, calcolano la stessa funzione. Puoi anche confrontare le loro tabelle della verità riga per riga. Il semplificatore emette sia il set di mintermini che la SOP canonica, che sono "impronte digitali" uniche della funzione.

Cita questo contenuto, pagina o strumento come:

"Semplificatore di Algebra Booleana" su https://MiniWebtool.com/it/semplificatore-di-algebra-booleana/ di MiniWebtool, https://MiniWebtool.com/

dal team di miniwebtool. Aggiornato: 2026-04-19

Puoi anche provare il nostro Risolutore di Matematica AI GPT per risolvere i tuoi problemi matematici attraverso domande e risposte in linguaggio naturale.

Altri strumenti correlati:

Semplificatore di Espressioni Algebriche
Base Convertitore
Calcolatore BinarioIn Primo Piano
Risolutore di Mappa di Karnaugh (K-Map)Nuovo
Risolutore di Equazioni Lineari
Simulatore di Porte LogicheNuovo
Calcolatore Funzione di MöbiusNuovo
Calcolatore di Fattorizzazione Polinomiale
Generatore di Tabella di VeritàNuovo

Operazioni matematiche avanzate:

Strumenti in primo piano:

Calcolatrice di Compatibilità AmorosaCalcolatore dei numeri degli angeli📅 Calcolatore di DataCalcolatore Segno Solare, Lunare e Ascendente 🌞🌙✨Convertitore da esadecimale a decimaleCalcolatore BinarioConvertitore di Piedi e Pollici in CentimetriRimuovi spaziGeneratore di parole casuali in ingleseConvertitore di Tempo in DecimaliGeneratore di CrucipuzzleCalcolatore EsadecimaleConvertitore da decimale a esadecimaleCalcolatore di SommeCalcolatore di Compatibilità dei Segni LunariFormattatore di TestoGeneratore di Haiku CasualeConvertitore da Decimale a TempoQual è il mio numero fortunato?Calcolatrice di NumerologiaDivisore di ImmaginiCalcolatore per ridurre frazioniGeneratore di Colori CasualiConvertitore da Esadecimale a Binarioconvertitore da ppm a percentualeGeneratore casuale di animaliEstrattore di Immagini da VideoCalcolatore del Segno LunarePalla Magica 8Calcolatore di ScalaDivisore AudioGeneratore di Date CasualiRicerca ID Utente InstagramGeneratore di Citazioni CasualiCreatore di CruciverbaGeneratore di oggetti casualiricerca-indirizzo-MACGeneratore di stringhe casualiCalcolatore di Conversione Scala ModelloInverti TestoConvertitore da binario a esadecimaleCalcolatore della Media GeometricaConvertitore HTML in TestoCalcolatore del calcio correttoConvertitore di Percentuale in PPMCalcolatore del Rapporto di ProbabilitàAggiungi prefisso e suffisso al testoCalcolatore del SonnoConvertitore da cm a piedi e polliciVerificatore di Nome Utente sui Social MediaCalcolatore del numero di percorso di vitaRicerca ID Utente FacebookGeneratore di Unisci i PuntiniCalcolatore del Giorno dell'Anno - Che giorno dell'anno è oggi?Calcolatore di Durata del TempoCalcolatore del Numero dell'AnimaCalcolatore dei VotiOrdina NumeriCalcolatore di Differenza di ListeCalendario del Giorno dell'AnnoCalcolatore di calcestruzzoConvertitore da Decimale a BinarioStrumento Cifrario di CesareGeneratore di Gruppi CasualiSelettore di Film CasualeCalcolatore del Numero del NomeCalcolatore di radice quadrataCalcolatore Passi in DistanzaValidatore XMLEstrattore AudioGeneratore di Obbligo o Verità AleatorioCalcolatore dell'Aspettativa di VitaCalcolatore di ModuloLista di Anni BisestiliConvertitore in numeri romaniGeneratore di Modello Cono SviluppatoGeneratore di Personaggi RPG CasualeCalcolatore di ArrotondamentoGeneratore di Carte da Gioco CasualeRisolutore di DisequazioniGeneratore di Orario CasualeCalcolatore da frazione a decimaleCalcolatore dell'Arcoseno⏱️ Calcolatore di OreCalcolatore del Test Chi-QuadratoCalcolatore del percentile di altezzaGeneratore di Superpotere CasualeConvertitore da indirizzo IP a binarioGeneratore di CrittogrammaCalcolatore dell'ArcotangenteGeneratore di Compleanni CasualiCalcolatore BitwiseConvertitore da Decimale a OttaleCalcolatore di combinazioneCalcolatrice della Deviazione Standard Relativa💧 Calcolatore del Punto di RugiadaCambio di Tempo SRT📅 Calcolatore Differenza tra DateCalcolatore di piastrelleRimuovi interruzioni di rigaCalcolatore di Matrice di AdiacenzaCalcolatore di Ordinamento TopologicoCalcolatore di Colorazione di GrafiSimulatore di Porte LogicheRisolutore di Mappa di Karnaugh (K-Map)Semplificatore di Algebra BooleanaCalcolatore Funzione di PartizioneCalcolatore di Radice DigitaleVerificatore di Numero di FibonacciCalcolatore Frazioni EgizieCalcolatore Funzione di MöbiusVerificatore della Congettura di GoldbachVerificatore di Primo di MersenneTrova Numeri Primi GemelliVerificatore di Numeri AmicabiliVerificatore di Numeri PerfettiCalcolatore Esponenziazione ModulareCalcolatore Permutazioni con RipetizioneCalcolatore Dimensione dell'EffettoCalcolatore Rischio RelativoCalcolatore Tabella di ContingenzaCalcolatore del Test Esatto di FisherCalcolatore di Correlazione per Ranghi di SpearmanCalcolatore Distribuzione BetaCalcolatore di Distribuzione di WeibullCalcolatore Distribuzione EsponenzialeCalcolatore Distribuzione GeometricaCalcolatore Distribuzione Binomiale NegativaCalcolatore Distribuzione IpergeometricaCalcolatore Test F e Distribuzione FCalcolatore del Teorema di BayesCalcolatore Polinomio CaratteristicoCalcolatore di Potenza di MatriceCalcolatore di Decomposizione di CholeskyCalcolatore Decomposizione QRCalcolatore di Diagonalizzazione di MatriceCalcolatore Regola di CramerCalcolatore Spazio ColonnaCalcolatore Spazio NulloCalcolatore dell'Angolo tra VettoriCalcolatore Vettore UnitarioCalcolatore di Modulo del VettoreCalcolatore del Prodotto VettorialeCalcolatore del Prodotto ScalareCalcolatore di Moltiplicazione di MatriciCalcolatore Matrice InversaCalcolatore RREF (Forma a Scalini Ridotta)Calcolatore del Metodo di NewtonCalcolatore Matrice JacobianaCalcolatore Integrale di SuperficieCalcolatore Integrale di LineaCalcolatore del RotoreCalcolatore di DivergenzaCalcolatore di Gradiente MultivariabileCalcolatore di Ottimizzazione (Calcolo)Risolutore Tassi CorrelatiCalcolatore del Tasso di Variazione IstantaneaCalcolatore del Tasso Medio di VariazioneCalcolatore Somma Serie InfiniteCalcolatore Test di Convergenza delle SerieCalcolatore di Serie di PotenzeCalcolatore della Serie di MaclaurinCalcolatore Regola di de l'HôpitalCalcolatore di Integrale ImproprioCalcolatore della Regola di SimpsonCalcolatore della Regola del TrapezioCalcolatore Somma di RiemannGraficatore di Curve ParametricheCalcolatore della Superficie di RivoluzioneCalcolatore del Volume di RivoluzioneCalcolatore Distanza Geometria CoordinateCalcolatore Formula di EroneCalcolatore della Retta Tangente al CerchioCalcolatore della Bisettrice dell'AngoloCalcolatore del Cerchio Inscritto (Incerchio)Calcolatore del Cerchio CircoscrittoCalcolatore della Distanza del Cerchio MassimoCalcolatore Distanza 3DCalcolatore del ToroCalcolatore del Tronco di ConoCalcolatore di Area del Poligono IrregolareCalcolatore di Poligono RegolareIdentificatore di Sezione ConicaCalcolatore di IperboleCalcolatore di ParabolaCalcolatore di Espansione del Teorema BinomialeGeneratore del Triangolo di PascalCalcolatore Notazione Prodotto (Notazione Pi)Calcolatore Notazione Sigma (Sommatoria)Calcolatore del Teorema delle Radici RazionaliCalcolatore della Regola dei Segni di CartesioCalcolatore di Rette Parallele e PerpendicolariCalcolatore Equazione della RettaConvertitore da Forma Standard a Forma Pendenza-IntercettaCalcolatore Forma Punto-PendenzaRisolutore di Sistema di Equazioni Non LineariRisolutore di Equazioni RazionaliRisolutore di Equazioni LetteraliRisolutore di Equazioni TrigonometricheRisolutore di Equazioni EsponenzialiRisolutore di Equazioni LogaritmicheCalcolatore Equazione di Quarto GradoRisolutore di Equazione CubicaCalcolatore di StimaConvertitore Numero in FrazioneGeneratore di Conteggio a SaltiCalcolatore Prezzo UnitarioCalcolatore Funzione Soffitto e PavimentoCalcolatore del Valore AssolutoTrova Schemi NumericiGeneratore di Tabella del Valore PosizionaleCalcolatore Ordine delle Operazioni (PEMDAS)Calcolatore di Addizione e Sottrazione in ColonnaCalcolatore di Moltiplicazione LungaGeneratore di Tavole Pitagoriche🎮 Convertitore di Valuta di Gioco🎲 Calcolatore Probabilità Loot Drop🎰 Calcolatore Pity Gacha⚔️ Calcolatore DPS🎮 Convertitore di Sensibilità dei Giochi❄️ Calcolatore Giorno di Neve🚚 Stimatore Costi Trasloco🔍 Verificatore di Plagio📷 OCR / Immagine in Testo📈 Creatore di Grafici a Linee🥧 Creatore di Grafici a Torta📊 Creatore di Grafici a Barre🔊 Generatore di Toni🖱️ Contatore di ClicBlocco Note Online⬛ Calcolatore Rapporto di Aspetto🌍 Calcolatore Impronta di Carbonio👙 Calcolatore Taglia ReggisenoCalcolatore Misura PneumaticiCalcolatore Costo Carburante🌡️ Calcolatore Indice di Calore🌬️ Calcolatore del Fattore Wind Chill⏰ Sveglia Online⏰ Calcolatore Cartellino Presenze🕐 Convertitore Orario Militare⏱️ Cronometro Online⏱️ Timer Conto alla Rovescia🌐 Convertitore di Fuso OrarioCalcolatore di MoquetteCalcolatore Muro di ContenimentoCalcolatore Dimensionamento HVACCalcolatore IsolamentoCalcolatore PavimentazioneCalcolatore ArmaturaCalcolatore LegnameCalcolatore di MetraturaCalcolatore di Moltiplicazione IncrociataCalcolatore del Riepilogo a Cinque NumeriCalcolatore di PercentileCalcolatore Distribuzione NormaleCalcolatore del Valore pCalcolatore di RapportiCalcolatore del Completamento del QuadratoCalcolatore di Divisione LungaCalcolatrice ScientificaTimer Studio PomodoroCalcolatore di Cifre SignificativeCalcolatore Punteggio TestCalcolatore di Voti PonderatiCalcolatore di Voto FinaleCalcolatore Frequenza di RisonanzaCalcolatore di ImpedenzaCalcolatore di Decibel (dB)Calcolatore del Fattore di PotenzaCalcolatore Costante di Tempo RCCalcolatrice per TrasformatoriCalcolatore Sezione CavoCalcolatore Timer 555Calcolatore di CondensatoreCalcolatore Resistenze in ParalleloCalcolatore del Partitore di TensioneCalcolatore Resistore per LEDConvertitore Mole/Grammo/ParticellaCalcolatore di TitolazioneCalcolatore del Punto di EbollizioneCalcolatore di Formula EmpiricaCalcolatore della Resa PercentualeCalcolatore di StechiometriaBilanciatore di Equazioni ChimicheCalcolatore di DiluizioneCalcolatore Cavalli VaporeCalcolatore di CoppiaCalcolatore Caduta LiberaCalcolatore della Legge dei Gas IdealiCalcolatore di PressioneCalcolatore di DensitàCalcolatore di Lavoro e PotenzaCalcolatore di Energia PotenzialeCalcolatore di Energia CineticaCalcolatore del Moto del ProiettileCalcolatore di Quantità di MotoCalcolatore di VelocitàCalcolatore di AccelerazioneCalcolatore di ForzaCalcolatore ROI InfluencerCalcolatore ROASCalcolatore CTROttimizzatore Orari di Pubblicazione sui Social MediaCalcolatore ROI Social MediaCalcolatore Costi Pubblicità FacebookCalcolatore di Monetizzazione YouTube ShortsCalcolatore di Guadagni TwitchCalcolatore Tempo di Visualizzazione YouTubeConvertitore di Timestamp Twitter/XStatistiche del Canale YouTubeCalcolatore Guadagni TikTokGuida alle Dimensioni Immagini Social MediaGeneratore di Font per InstagramContatore Caratteri Twitter/XSelettore di Commenti YouTubeEstrattore di tag YouTubeScaricatore di Miniature YouTubeCalcolatore Guadagni YouTube