Semplifica il tuo flusso di lavoro: cerca miniwebtool.
Aggiungi
Strumenti correlati
Semplificatore di Espressioni AlgebricheRisolutore di Mappa di Karnaugh (K-Map)Simulatore di Porte LogicheCalcolatore Distribuzione Stazionaria Catena di MarkovGeneratore di Tabella di Verità
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 angeli📅 Calcolatore di DataCalcolatrice di Compatibilità AmorosaCalcolatore Segno Solare, Lunare e Ascendente 🌞🌙✨Calcolatore di SommeGeneratore di parole casuali in ingleseRimuovi spaziCalcolatore di Compatibilità dei Segni LunariConvertitore di Tempo in DecimaliConvertitore di Piedi e Pollici in CentimetriFormattatore di Testo⏱️ Calcolatore di OreRicerca ID Utente InstagramRicerca ID Utente FacebookQual è il mio numero fortunato?Generatore di CrucipuzzleEstrattore di Immagini da VideoCalcolatore del Giorno dell'Anno - Che giorno dell'anno è oggi?Generatore di Carte da Gioco CasualeConvertitore da esadecimale a decimaleCalcolatore del numero di percorso di vitaCalcolatore per ridurre frazioniCalcolatore EsadecimaleGeneratore di Citazioni CasualiPalla Magica 8Convertitore Numero in FrazioneGeneratore di anagrammiGeneratore di Orario CasualeSelettore di Film CasualeGeneratore di Obbligo o Verità AleatorioCalcolatore del Numero del NomeVerificatore di Nome Utente sui Social MediaCalcolatore del Numero dell'AnimaEstrattore AudioGeneratore di stringhe casualiCalendario del Giorno dell'AnnoInverti Testoconvertitore da ppm a percentualeCalcolatore di ScalaGeneratore di Date CasualiConvertitore da cm a piedi e polliciDivisore AudioSegnapunti TennisGeneratore casuale di animaliGeneratore di Colori CasualiCompressore VideoCalcolatore del percentile di altezzaConvertitore di Percentuale in PPMUnisci Videoricerca-indirizzo-MACRimuovi linee vuote da un testoCalendario di Mercurio RetrogradoConvertitore da Decimale a TempoCalcolatore di Durata del TempoConvertitore da binario a esadecimaleGeneratore di oggetti casualiLista di Anni BisestiliDivisore videoCalcolatore Dimensioni di Stampa e Risoluzione (DPI/PPI)Calendario di luna nuova e luna pienaCalcolatore BinarioConvertitore di potenzaGeneratore di Personaggi RPG CasualeCalcolatore del Test Chi-QuadratoCalcolatrice della Deviazione Standard RelativaConvertitore di Frequenza e Lunghezza d'OndaDivisore di ImmaginiMiglioratore di ImmaginiCalcolatore del calcio correttoCalcolatore della Media GeometricaConvertitore da decimale a esadecimaleValidatore XMLCalcolatore Ritmo NuotoCalcolatore del Coefficiente di VariazioneOrdina NumeriCalcolatore della Circonferenza di un EllisseCalcolatore di calcestruzzoCalcolatore EBITDA🔍 Verificatore di PlagioCalcolatore di Comparazione di FrazioniCalcolatore di Log in Base 10Calcolatore di notazioni scientificheConvertitore da Esadecimale a BinarioGeneratore di LabirintiCalcolatore dell'Aspettativa di VitaCalcolatore Posizione del SoleConvertitore FPS🔊 Generatore di ToniGeneratore di Superpotere Casualegeneratore-di-testo-capovoltoAggiungi o Sostituisci Audio nel VideoCalcolatore della Distanza di VoloCalcolatore dello Zodiaco dell'Albero CelticoCalcolatore di ArrotondamentoGeneratore di Compleanni CasualiGeneratore di Unisci i PuntiniCreatore di CruciverbaConvertitore di AngoliGeneratore di CrittogrammaStatistiche del Canale YouTubeCalcolatrice di NumerologiaCalcolatore del Ritorno di SaturnoConvertitore di Velocità di Trasferimento DatiConvertitore HTML in TestoGeneratore di IMEI CasualeCalcolatrice del Numero d'EspressioneCalcolatore di Probabilità dei DadiCalcolatore tempo di raffreddamento birraStrumento Cifrario di VigenèreCalcolatore di Differenza di ListeCalcolatore di diminuzione di percentualeCalcolatore di Guadagni TwitchContatore di lineaContatore di Token AICalcolatore da frazione a decimaleRuota VideoCalcolatore CAGRCalcolatore del Numero della PersonalitàCalcolatore dell'ArcotangenteCalcolatore della TangenteCalcolatore delle frazioni equivalentiConfronta due stringheCalcolatore di alba e tramontoConvertitore di VelocitàStrumento online per rimuovere la punteggiaturaAggiungi prefisso e suffisso al testoCalcolatore del deficit caloricoCalcolatore dell'Arcocoseno (Coseno Inverso)Calcolatore Lunghezza AntennaCalcolatore Rapporto ParcheggioConvertitore in numeri romaniGeneratore di indirizzi MACRimozione Caratteri InvisibiliCalcolatore del Segno di VenereCalcolatore di Filo per Punto CroceConta il numero di caratteriGeneratore di Argomenti di Dibattito CasualiGeneratore di Coordinate CasualiGeneratore di Lettera CasualeCalcolatore dell'Area di un EllisseCalcolatrice del giorno della settimana di nascitaGeneratore di Emoji CasualeCalcolatore di Conversione Scala ModelloCalcolatore di Decibel (dB)Calcolatore di VelocitàGeneratore di Tabelloni Torneo CasualiRandomizzatore di listaCalcolatore del cerchioCalcolatore di Arctan2Calcolatore Media, Mediana e Modaconvertitore da parole a numero di telefonoConvertitore di Unità di CucinaConvertitore Taglie di AbbigliamentoGeneratore di Gruppi CasualiGeneratore Sasso Carta ForbiciRegola Velocità VideoCalcolatore Proporzioni Ricette👙 Calcolatore Taglia ReggisenoConvertitore da binario a ottaleConvertitore Misura AnelloGeneratore di frequenza sonora casualeInverti VideoAnalizzatore di Frequenza delle ParoleCalcolatore del Giorno della SettimanaCalcolatore del Numero MaestroCalcolatore di anni caniniCalcolatore Guadagni YouTubeCalcolatore Notazione Sigma (Sommatoria)Convertitore di dimensioni del fileConvertitore di Taglie ScarpeGeneratore di Carte di Credito CasualeCalcolatore della Congettura di CollatzCalcolatore di radice quadrataCalcolatore di Velocità di CiclismoCalcolatore Handicap GolfEspansore di Frasi AIGeneratore di Morse CodeRimuovi audio da videoStrumento Cifrario di CesareVerificatore di Robustezza della PasswordVerificatore Numero Pari o DispariAggiungi Testo all'ImmagineCalcolatore Cavalli VaporeCalcolatore del SonnoCalcolatore dell'Errore PercentualeCalcolatore Resistore per LEDConvertitore di Codici Colore (Tutti i Formati)Convertitore di piedi in metriGeneratore di Testo BarratoCalcolatore del segno di mercurioCalcolatore del Segno LunareCalcolatore di Area del Poligono IrregolareCalcolatore di log naturaleCalcolatore di ModuloCalcolatore di Pendenza e GradoCalcolatore di pH🖱️ Contatore di ClicConvertitore di pollici in cmLista di Numeri di FibonacciCalcolatore del Consumo di AcquaCalcolatore 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 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 SATConvertitore da Percentuale a CGPAConvertitore da CGPA a PercentualeCorrettore Voti Facile (EZ Grader)Calcolatore del Costo di Crescere un FiglioCalcolatore di Assunzione di Latte per NeonatiCalcolatore Taglia PannoliniGeneratore di Nomi per BambiniPredittore del Colore degli Occhi del BambinoCalcolatore del Percentile BMI per BambiniCalcolatore Altezza Futura del BambinoCalcolatore del Tempo di Raddoppiamento dell'hCGCalcolatore della Data Prevista del Parto FIVETCalcolatore di ImpiantoPredittore Cinese del Sesso del BebèFormattatore di Date ISO 8601Convertitore Data GiulianaNap CalculatorCalcolatore delle Fasi LunariOrologio MondialeConvertitore da Data a Numeri RomaniConto alla Rovescia per la PensioneCalcolatore di SobrietàCalcolatore di Mezzo CompleannoCalcolatore AnniversarioCalcolatore Numero della SettimanaCalcolatore di Ripartizione delle ManceCalcolatore ROI Email MarketingCalcolatore del Costo Per LeadCalcolatore del Capitale Circolante