Semplificatore di Algebra Booleana
Semplifica espressioni booleane con leggi algebriche, algoritmo di Quine-McCluskey e mappe di Karnaugh usando il Semplificatore di algebra booleana di MiniWebtool. Inserisci qualsiasi espressione AND, OR, NOT, XOR, NAND o NOR per ottenere la forma SOP/POS minima, la tabella di verità, la mappa di Karnaugh, il diagramma delle porte e le equivalenze con sole porte NAND.
In Gemini, incolla la domanda copiata nella chat. Puoi anche copiarla qui sotto.
Serve aiuto con questo strumento? Chiedi all’IA
Visualizza la domanda
3 utilizzi gratis al giornoSenza registrazioneRisultati istantanei
Semplificatore di Algebra BooleanaProvalo ora — gratis ▼
Inserisci qui sotto un'espressione booleana per ottenere la forma minima, la tabella di verità, la mappa di Karnaugh e i passaggi.
Sostieni MiniWebtool
Il tuo ad blocker ci impedisce di mostrare annunci
MiniWebtool resta gratuito grazie agli annunci. Se questo strumento ti è stato utile, sostienici facendo l’upgrade per navigare senza annunci e avere più utilizzi giornalieri, oppure consenti MiniWebtool.com e ricarica.
- Consenti gli annunci per MiniWebtool.com, poi ricarica
- Oppure fai l’upgrade per niente annunci e limiti giornalieri più alti
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
| Legge | Forma OR | Forma 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
| Operatore | Forme Accettate | Esempio |
|---|---|---|
| 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 XOR | A XOR B, A^B |
| NAND | ⊼, parola NAND | A NAND B |
| NOR | ⊽, parola NOR | A NOR B |
| Implica | ->, =>, parola IMPLIES, → | A -> B |
| Equivalenza | <->, <=>, parola IFF, ↔ | A <-> B |
| Costanti | 0 1 TRUE FALSE | A + 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.
- Elenca tutti i mintermini — ogni riga della tabella della verità che valuta 1.
- Raggruppa per conteggio bit a 1 — ordina i mintermini in base al numero di 1 nella loro rappresentazione binaria.
- 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.
- Raccogli gli implicanti primi — qualsiasi termine che non è stato combinato ulteriormente è un implicante primo.
- Costruisci la tabella degli implicanti primi — una griglia con gli implicanti come righe e i mintermini come colonne. Segna quali implicanti coprono quali mintermini.
- Seleziona gli implicanti essenziali — qualsiasi implicante che sia l'unico a coprire un mintermine è essenziale.
- 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
- Inserisci l'espressione: Digita qualsiasi espressione booleana usando la notazione che preferisci. Puoi mescolare gli stili:
A.B + A'CeA AND B OR NOT A AND Cvengono analizzati in modo identico. - Clicca su Semplifica: Lo strumento analizza, costruisce la tabella della verità, esegue Quine-McCluskey e minimizza l'espressione.
- Studia la mappa K: Ogni ciclo colorato è un implicante primo. Gli implicanti essenziali sono disegnati con linee continue, i non essenziali con tratteggi.
- Rivedi i passaggi: Il pannello passo-passo ti guida dalla SOP canonica attraverso la scoperta degli implicanti primi fino alla forma minima.
- 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
| Campo | Caso d'uso |
|---|---|
| Progettazione di circuiti digitali | Minimizzare il numero di porte nella logica combinatoria: meno porte significano minore potenza, chip più piccoli, ritardo di propagazione ridotto. |
| Ottimizzazione del compilatore | Semplificare 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 database | Riscrivere i predicati della clausola WHERE in forme equivalenti ma più economiche da valutare. |
| Verifica formale | Le forme canoniche (SOP/POS) consentono il controllo dell'equivalenza di due specifiche. |
| Insegnamento / Corsi | Verificare 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".
Posso inserire mintermini e condizioni indifferenti?
Sì. Inserisci la funzione come elenco di mintermini, ad esempio F(A,B,C,D) = Σm(1,3,7,11,15) + d(0,2,5), oppure come elenco di maxtermini con ΠM(…). Puoi anche scrivere m(…) o sum m(…), e dc(…) o x(…) per le condizioni indifferenti. Sono indicate con X nella tabella della verità e nella mappa di Karnaugh e vengono usate solo quando permettono di creare gruppi 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.
Come semplifico un’espressione logica partendo dai risultati di una tabella di verità?
Scrivi la funzione come somma di mintermini per le righe di input in cui l’uscita è 1, poi inserisci gli indici dei mintermini nella sintassi prevista, per esempio F(A,B,C) = Σm(1,3,6). Il semplificatore può usare questa funzione per produrre una forma minima e la relativa tabella di verità. Verifica che l’ordine delle variabili corrisponda alla convenzione usata per numerare le righe: cambiando l’ordine di A, B e C cambia l’input binario rappresentato da ciascun indice.
Perché un’espressione booleana semplificata ha meno termini ma più letterali?
La minimizzazione booleana può favorire un criterio di semplicità a scapito di un altro. Un’espressione con meno termini prodotto può comunque contenere più letterali in totale, mentre un’altra espressione equivalente può avere più termini composti da meno letterali. Possono esistere più coperture minime equivalenti: confronta quindi la forma più adatta al tuo circuito o ai requisiti dell’esercizio. Controlla anche di confrontare SOP con SOP o POS con POS, perché queste forme raggruppano valori di uscita diversi.
Cosa significa l’apostrofo dopo una variabile in un’espressione booleana?
Un apostrofo in posizione finale indica NOT, cioè il complemento della variabile: A' equivale a ~A o !A nella notazione accettata dal semplificatore. Per esempio, AB' significa A AND NOT B. Un errore comune è mettere l’apostrofo dopo un’intera espressione senza parentesi: (A+B)' significa NOT dell’intera espressione OR, mentre A+B' nega solo B. Le parentesi chiariscono l’ambito dell’operatore.
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
Chatta con la tua IA preferita
In Gemini, incolla la domanda copiata nella chat. Puoi anche copiarla qui sotto.
Visualizza la domanda
Operazioni matematiche avanzate:
- Calcolatore di Matrice di Adiacenza Nuovo
- Calcolatore di Antilogaritmo
- Calcolatore di funzione Beta
- Calcolatore del Coefficiente Binomiale
- Calcolatrice di distribuzione binomiale
- Calcolatore Bitwise
- Semplificatore di Algebra Booleana Nuovo
- Calcolatore del Teorema Centrale del Limite
- Calcolatore del Teorema Cinese del Resto
- Calcolatore di combinazione
- Calcolatore di Funzione di Errore Complementare
- Calcolatrice di Numeri Complessi
- Calcolatore di Frazioni Continue
- Calcolatore di Derangement (Sottofattoriale)
- Calcolatore del Percorso più Breve di Dijkstra
- Calcolatore di Entropia
- Calcolatore della funzione di errore
- Calcolatore della Funzione Toziente di Eulero
- Calcolatore di decadimento esponenziale
- Calcolatore della crescita esponenziale
- Calcolatore dell'Integrale Esponenziale
- Calcolatore di Esponenti (Alta Precisione) Popolare
- Calcolatore dell'Algoritmo Euclideo Esteso
- Calcolatrice del Fattoriale Popolare
- Calcolatore della Funzione Gamma
- Calcolatore del Rapporto Aureo
- Calcolatore di Colorazione di Grafi Nuovo
- Validatore di Sequenza di Gradi di Grafo
- Calcolatore Ordine Teoria dei Gruppi Nuovo
- Calcolatore del tempo di dimezzamento
- Verificatore di Cammino Hamiltoniano Nuovo
- Calcolatore Inclusione-Esclusione Nuovo
- Risolutore di Mappa di Karnaugh (K-Map) Nuovo
- Risolutore di Programmazione Lineare Nuovo
- Calcolatore Distribuzione Stazionaria Catena di Markov
- Calcolatore dell'Albero Ricoprente Minimo
- Calcolatore Esponenziazione Modulare Nuovo
- Calcolatore dell'Inverso Moltiplicativo Modulare
- Calcolatore Distribuzione Binomiale Negativa Nuovo
- Calcolatore di Flusso in Rete (Flusso Massimo) Nuovo
- Calcolatore del Tasso di Crescita Percentuale
- Calcolatore di Permutazione
- Calcolatore Permutazioni con Ripetizione Nuovo
- Calcolatore del Principio dei Cassetti
- Verificatore di Grafo Planare Nuovo
- Calcolatrice della Distribuzione di Poisson
- Calcolatrice delle Radici dei Polinomi con Passaggi Dettagliati
- Calcolatore Radice Primitiva
- Calcolatrice delle probabilità
- Calcolatrice di Distribuzione di Probabilità
- Calcolatore di Proporzioni
- Calcolatore di formula quadratica
- Calcolatore di Anelli e Campi Nuovo
- Calcolatore di Arrotondamento Popolare
- Calcolatrice Scientifica
- Calcolatore di notazioni scientifiche Popolare
- Calcolatore di Teoria degli Insiemi
- Calcolatore di Cifre Significative Nuovo
- Risolutore del Problema del Matrimonio Stabile Nuovo
- Calcolatore di Numeri di Stirling
- Calcolatore di Somme di Cubi
- Calcolatore di somme di numeri interi positivi
- Calcolatore di Somme di Quadrati
- Calcolatore di Ordinamento Topologico Nuovo
- Risolutore del Commesso Viaggiatore (TSP) Nuovo
- Generatore di Tabella di Verità Popolare
- Generatore di Diagramma di Venn (3 Insiemi)