Semplifica il tuo flusso di lavoro: cerca miniwebtool.
Aggiungi
Vedi anche
Semplificatore di Espressioni AlgebricheRisolutore di Mappa di Karnaugh (K-Map)Generatore di Tabella di VeritàSimulatore di Porte LogicheCalcolatore di Tessuto
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

API per sviluppatori disponibile: Esegui questo strumento dalla tua app, automazione o agente con una richiesta HTTP JSON. Vedi documentazione API

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

Operazioni matematiche avanzate:

Strumenti in primo piano:

Calcolatore dei numeri degli angeliCalcolatrice di Compatibilità AmorosaCalcolatore Ascendente, Segno Solare e Lunare 🌞🌙✨Calcolatore di Compatibilità dei Segni Lunari📅 Calcolatore di DataCalcolatore di SommeGeneratore di parole casuali in ingleseRicerca Citazioni (Inglese)Verificatore di Nome Utente sui Social MediaEstrattore di Immagini da VideoCalcolatore del numero di percorso di vitaFormattatore di TestoQual è il mio numero fortunato?Convertitore di Piedi e Pollici in CentimetriCalcolatore EsadecimaleCalcolatore Posizione del SoleRicerca ID Utente InstagramGeneratore di Superpotere CasualeCalcolatore del percentile di altezzaGeneratore di Carte da Gioco CasualeCalcolatore del Numero dell'AnimaGeneratore casuale di animaliGeneratore di anagrammiGeneratore di Citazioni CasualiPalla Magica 8Inverti TestoSelettore di Film CasualeCalcolatore del Numero del NomeConvertitore da esadecimale a decimaleCalcolatore del Giorno dell'Anno - Che giorno dell'anno è oggi?Generatore di Gruppi CasualiCalcolatore di ScalaCalcolatore per ridurre frazioniGeneratore di Obbligo o Verità AleatorioEstrattore AudioRimuovi linee vuote da un testoGeneratore di Date CasualiConvertitore da cm a piedi e polliciRicerca ID Utente FacebookGeneratore di oggetti casualiGeneratore di stringhe casualiDivisore AudioGeneratore di CrucipuzzleUnisci VideoCalcolatore tempo di raffreddamento birraRimuovi spaziDivisore videoConvertitore da decimale a esadecimaleConvertitore Misura Anello⏱️ Calcolatore di OreOrdina NumeriCalcolatore del calcio correttoCalcolatore della Congettura di CollatzConvertitore FPSRicerca Indirizzo MACRuota VideoSegnapunti TennisCalcolatore BinarioDivisore di ImmaginiCalcolatore di VelocitàCompressore VideoConvertitore da Decimale a TempoLista di Anni BisestiliCalcolatore del Segno LunareCalcolatore di Guadagni TwitchGeneratore di Orario CasualeGeneratore di Personaggi RPG CasualeCalcolatore della Media GeometricaCalcolatore Formula di EroneCalcolatore dell'ArcotangenteGeneratore di Testo CapovoltoCreatore di CruciverbaGeneratore di Argomenti di Dibattito CasualiStrumento Cifrario di Vigenère👙 Calcolatore Taglia ReggisenoCalendario del Giorno dell'AnnoCalcolatore del SonnoCalcolatore del deficit caloricoCalcolatore del Segno di VenereGeneratore di Piani di Allenamento IACalcolatore dell'Aspettativa di Vitaconvertitore da ppm a percentualeConvertitore in numeri romaniGeneratore di Colori CasualiCalcolatore di combinazioneCalcolatore di Decibel (dB)Calcolatore Dimensioni di Stampa e Risoluzione (DPI/PPI)Convertitore Data GiulianaMiglioratore di ImmaginiValidatore XMLCalcolatore del Numero della PersonalitàCalcolatore PERCalcolatore del Giorno della SettimanaCalcolatore del Numero del DestinoConvertitore da Lbs a Kg🖱️ Contatore di ClicContatore di lineaConvertitore HTML in TestoGeneratore di Crittogramma🔍 Verificatore di PlagioCalcolatrice di NumerologiaConvertitore di Tempo in DecimaliGeneratore di Compleanni CasualiCalcolatore del Ritorno di SaturnoCalcolatore dell'ArcosenoCalcolatore dell'Errore PercentualeCalcolatore di radice quadrataConvertitore di Percentuale in PPMStatistiche del Canale YouTubeConvertitore di Velocità di Trasferimento DatiCalcolatore di Area del Poligono IrregolareCalcolatore di ArrotondamentoGeneratore di IMEI CasualeGeneratore di Lettera Casuale🔊 Generatore di ToniCalcolatore dell'Arcocoseno (Coseno Inverso)Calcolatore Unità Alcoliche StandardConvertitore di Frequenza e Lunghezza d'OndaCalcolatore del Test Chi-QuadratoCalcolatore delle Ore di Studio per la Fluidità LinguisticaCalcolatore di Affitto SostenibileCalcolatore di anni caniniCalcolatore Dosaggio FarmacoConvertitore da binario a esadecimaleConvertitore da DMS a Gradi DecimaliStrumento Cifrario di CesareVerificatore di Squadratura (Regola 3-4-5) 📐È un Numero Primo?Calcolatore Altezza Futura del BambinoCalcolatore di Differenza di Liste📅 Calcolatore Differenza tra DatePredittore Cinese del Sesso del BebèAggiungi Testo all'ImmagineCalcolatrice del Numero d'EspressioneCalcolatore della Distanza di VoloCalcolatore Ritmo NuotoCalendario di luna nuova e luna pienaConvertitore Calendario EbraicoGeneratore di frequenza sonora casualeGeneratore di Tabelloni Torneo CasualiSelettore di Nome CasualeCalcolatore del Tempo di Raddoppiamento dell'hCGCalcolatore di Inflazione USCalcolatore di Log in Base 10Calcolatore di Stipendio in BagnoConvertitore da Esadecimale a BinarioConvertitore da kPa a psiGeneratore di Distribuzione GaussianaInterprete dei sogni AIUmanizzatore di Testo AIVerificatore Numero Pari o DispariCalcolatore delle dimensioni dello zainoCalcolatore di alba e tramontoCalcolatore di conversione da decimale a frazioneCalcolatore Handicap GolfCalcolatore Passi in DistanzaCalcolatore Sottorete IPCalcolatore Strategia MartingaleConfronta due stringheConta il numero di caratteriConvertitore di VelocitàDecodificatore di Morse CodeGeneratore di Accordi CasualiGeneratore di PaletteLista di numeri cubiCalcolatrice del Numero di CifreRisolutore di DisequazioniCalcolatore del Consumo di AcquaCalcolatore del Numero MaestroCalcolatore del Volume di un EllissoideCalcolatore di etàCalcolatore di log naturaleCalcolatore EBITDACalcolatore Proporzioni RicetteConvertitore di pollici in cmGeneratore di biglietti di ringraziamento con IAGeneratore di domande casualiGeneratore di PIN CasualeGeneratore Io non ho maiGeneratore PreferirestiSemplificatore di RadicaliStrumento online per rimuovere la punteggiaturaTimer Studio PomodoroGeneratore di GamertagGeneratore di Nomi per SquadreGeneratore di soprannomiGeneratore di Nomi RapGeneratore di Nomi per BandGeneratore di Nomi FantasyGeneratore di Biscotti della FortunaGeneratore di Idee per DisegnareGeneratore di spunti per il diarioGeneratore di affermazioni giornaliereGeneratore di complimentiGeneratore di frasi per rimorchiareGeneratore di battute da papàGeneratore di barzellette casualiGeneratore di curiosità casualiGeneratore di domande triviaGeneratore di parole per l'impiccatoGeneratore di parole per PictionaryGeneratore di SciaradaGeneratore di domande rompighiaccioGeneratore di discorsi di nozze con IAGeneratore di Comunicati Stampa AIGeneratore di Descrizioni di Prodotto con IAGeneratore di Script Video AIGeneratore di Titoli e Descrizioni YouTube con IAGeneratore di Didascalie Instagram con IAGeneratore di Titolo e Bio LinkedIn con IAGeneratore di Punti per Curriculum IAGeneratore di Lettere di Presentazione con IAGeneratore di testi rap con IAAppiattire PDFSblocca PDF (Rimozione password proprietario)Estrattore da PDF a testoEstrattore di pagine PDFContatore di Parole PDFProteggi PDFAggiungi numeri di pagina al PDFRiordina pagine PDFElimina pagine PDFRuota PDFDa JPG a PDFPDF in JPGComprimi PDFDividere PDFUnire PDFConvertitore da PT a PXConvertitore da PX a REMConvertitore da Tola a GrammiConvertitore di unità di terra indianeConvertitore da mcg a mgGeneratore di testi di canzoni con IAGeneratore di poesie IAGeneratore di storie IATraduttore IARiassuntore di Testo IAConvertitore da mg a mLConvertitore da MPH a KMHConvertitore da nodi a MPHMetri cubi a piedi cubiConvertitore da piedi cubi a iarde cubeConvertitore da piedi quadrati a metri quadratiConvertitore da metri quadrati a piedi quadratiConvertitore Oz in mLConvertitore ML in ozConvertitore da galloni a litriConvertitore da litri a galloniConvertitore da Kg a StoneConvertitore da Stone a KgConvertitore da pollici a millimetriConvertitore da millimetri a polliciConvertitore da miglia a kmConvertitore da km a migliaConvertitore da Fahrenheit a CelsiusConvertitore da Celsius a FahrenheitCalcolatore del volume della tavola da surfCalcolatore della misura dell’impugnatura da tennisCalcolatore della Taglia del CascoCalcolatore della taglia dei guantiConvertitore di taglie per cappelliCalcolatore della taglia dello snowboardCalcolatore delle dimensioni degli sciCalcolatore della taglia della biciTimer per split di speedrunCalcolatore StablefordCalcolatore checkout freccetteCalcolatore dell’economia del bowlingCalcolatore Strike Rate CricketCalcolatore Net Run RateCalcolatore Rapporto K/DCalcolatore Rating EloCalcolatore del Recupero della Frequenza CardiacaCalcolatore del tempo di escursioneCalcolatore del Ritmo di CanottaggioCalcolatore Age-Grading CorsaCalcolatore FTP e zone di potenzaCalcolatore Beep TestCalcolatore punteggio ACFTCalcolatore Wilks & DOTSCalcolatore Offset RuotaRicerca Indice di Carico e Indice di Velocità PneumaticiCalcolatore del Costo per MiglioCalcolatore di Riscatto del LeasingCalcolatore Miscela OttaniCalcolatore Miscela Olio 2 TempiCalcolatore Cilindrata MotoreCalcolatore Ingombro Divano PortaCalcolatore di Cataste di LegnaCalcolatore CADR Purificatore AriaCalcolatore Dimensione DeumidificatoreCalcolatore Dimensione Ventilatore da SoffittoCalcolatore Dimensioni TendeCalcolatore Dimensione TappetoCalcolatore Altezza per Appendere QuadriCalcolatore Altezza di Montaggio TVCalcolatore Dimensioni TVCalcolatore Volume e Telo per LaghettoCalcolatore Sale PiscinaCalcolatore Volume PiscinaCalcolatore Dimensione ScaldabagnoCalcolatore di Resina EpossidicaCalcolatore Spaziatura BalaustriCalcolatore di Battiscopa e ModanatureCalcolatore di RivestimentoCalcolatore impregnante per deckCalcolatore Semi per PratoCalcolatore di Zolle ErboseCalcolatore AsfaltoCalcolatore di Iarde CubeCalcolatore Lunghezza AntennaCalcolatore Riempimento TuboCalcolatore di Condensatori in Serie e ParalleloCalcolatore di Reattanza InduttivaCalcolatore di Illuminazione della StanzaCalcolatore da Lux a LumenConvertitore da Lumen a WattCalcolatore Dimensione GeneratoreConvertitore da mAh a WhCalcolatore di Potenza TrifaseCalcolatore kVACalcolatore da Ampere a WattCalcolatore da Watt ad AmpereCalcolatore Resistenze in SerieCalcolatore di AttritoCalcolatore del Piano InclinatoCalcolatore del Vantaggio MeccanicoCalcolatore della Velocità del SuonoCalcolatore della Velocità dell'OndaCalcolatore di galleggiabilitàCalcolatore di Velocità TerminaleCalcolatore della Lunghezza d'Onda di de BroglieCalcolatore di Energia del FotoneCalcolatore E=mc²Calcolatore di Dilatazione del TempoCalcolatore della Terza Legge di KepleroCalcolatore della Velocità di FugaCalcolatore della Forza GravitazionaleCalcolatore della Legge di Beer-LambertCalcolatore dell'Equazione di NernstCalcolatore della Pressione OsmoticaCalcolatore di Innalzamento del Punto di EbollizioneCalcolatore di Abbassamento del Punto di CongelamentoCalcolatore di Composizione PercentualeCalcolatore di NormalitàCalcolatore di MolalitàConvertitore da pKa a KaCalcolatore di Henderson-HasselbalchCalcolatore della Resa TeoricaCalcolatore del Reagente LimitanteCalcolatore di Configurazione ElettronicaTavola Periodica InterattivaGeneratore di Piani di Lezione con IAGeneratore di Quiz IAGeneratore di Citazioni (APA/MLA/Chicago)Calcolatore Percentuale di PresenzeAP Score CalculatorCalcolatore Punteggio ACTCalcolatore Punteggio SATCalcolatore Guadagni YouTube