Semplificatore di Algebra Booleana
Data un’espressione booleana — A·B + A·¬B + ¬A·B o una tabella della verità con mintermini — questo semplificatore restituisce la forma minima di somma di prodotti utilizzando l’algoritmo di Quine-McCluskey, oltre a una visualizzazione della mappa di Karnaugh per un massimo di sei variabili. Mostra ogni passo (implicanti primi, implicanti primi essenziali, la tabella di copertura) quindi è utile non solo per i compiti a casa ma anche per verificare cosa ha scelto un minimizzatore all’interno del tuo strumento di sintesi.
Come funziona la semplificazione booleana
-
1
Inserisci l'espressione o i mintermini
Usa gli operatori · (E), + (O), ' o ¬ (NON), ⊕ (XOR). Oppure incolla gli indici dei mintermini come m(0,1,3,7).
-
2
La tabella della verità viene generata
Ogni assegnazione di variabili viene valutata e l'output della funzione viene tabulato.
-
3
Quine-McCluskey trova gli implicanti primi
I mintermini vengono raggruppati e combinati iterativamente. I gruppi adiacenti (che differiscono in una variabile) si uniscono fino a quando non sono più possibili riduzioni.
-
4
Gli implicanti essenziali coprono la funzione
Una tabella di copertura del metodo di Petrick seleziona il set minimo di implicanti primi. Il risultato è la SOP semplificata. La forma POS è derivata dal complemento.
Notazione degli operatori supportata
| Operazione | Simboli accettati |
|---|---|
| E | ·, *, &, ∧, spazio |
| O | +, |, ∨ |
| NON | \', ¬, !, ~, barra sopra (A con barra sopra viene visualizzato come A\') |
| XOR | ⊕, ^ |
| Costanti | 0, 1 |
Esempio
Ingresso: A·B + A·¬B + ¬A·B
Tabella della verità:
| A | B | F |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Mintermi: m(1, 2, 3). La SOP minima si riduce a A + B (O delle due variabili). Il semplificatore segue:
- Raggruppa i mintermini per numero di 1
- Combina le coppie adiacenti: (1,3) →
-B, (2,3) →A- - La tabella di copertura mostra che entrambi sono essenziali — forma finale:
A + B
Perché minimizzare
- Meno porte: ogni termine AND/OR costa silicio o LUT FPGA.
- Percorso critico più breve: una logica più piccola di solito significa un ritardo di propagazione inferiore.
- Minore consumo energetico: meno nodi di commutazione.
Limiti dell’algoritmo
- Numero di variabili: Quine-McCluskey scala come O(3^n / n) nel caso peggiore. Lo strumento gestisce comodamente fino a 8 variabili; oltre, usa minimizzatori euristici in stile Espresso (non otterrai garanzia di minimalità ma è fattibile).
- Termini don’t-care: includili con la sintassi
d(indici)per ottenere risultati più piccoli quando alcune combinazioni di input non possono verificarsi.
Domande frequenti
La somma di prodotti è O di AND (come AB + CD); il prodotto di somme è E di OR (come (A+B)(C+D)). Stessa funzione, struttura diversa. Il semplificatore restituisce entrambi — scegli quello che si adatta meglio al tuo strumento downstream.
Sì. Inseriscile come d(indice1, indice2, ...) insieme ai mintermini. Il minimizzatore le tratta come “libere” per assegnare qualunque valore dia un risultato più piccolo.
Entrambi producono costi minimi se scegli correttamente, ma le K-map dipendono dalla persona che individua i gruppi più grandi possibili. Quine-McCluskey è deterministico e trova sempre un ottimo.
XOR viene espanso in AND/OR/NOT prima della minimizzazione. Otterrai una SOP equivalente ma la struttura XOR andrà persa. Per un’ottimizzazione che preserva XOR, è necessario un algoritmo diverso (Reed-Muller).
Strumenti correlati
Generatore di lettere casuali
Genera lettere A-Z casuali. Scegli la quantità, usa maiuscole, minuscole o un mix, e applica il risultato a giochi, spunti o attività in classe.
Generatore di palette colori casuali
Genera palette casuali da 2 a 15 campioni, scegli uno stile vivace, pastello, tenue o scuro e copia codici HEX o variabili CSS.
Formattatore JSON
Incolla JSON per visualizzarlo con indentazione a 2 o 4 spazi, minificarlo in forma compatta o controllarne rapidamente la sintassi prima di copiare il risultato.
Generatore di colori casuali
Genera da 1 a 50 colori HEX casuali con campioni da visualizzare, copiare e usare in CSS, test o studio di palette.
Selettore colore HEX
Scegli un colore a colpo d’occhio e ottieni i valori HEX, RGB, HSL, HSV e CMYK, con il contrasto su bianco e nero.
Generatore di Palette di Colori
Genera palette monocromatiche, analoghe, complementari, triadiche o tetradiche da un colore base HEX ed esporta variabili CSS pronte da copiare.