Semplificatore di espressioni booleane
Utilizza questo strumento direttamente: nessun reindirizzamento, nessuna registrazione richiesta.
Immissione di espressioni booleane
Espressione semplificata
Tavola della verità
Rete di porte
Come funziona la semplificazione delle espressioni booleane
La semplificazione dell'algebra booleana riduce le espressioni logiche complesse nella loro forma equivalente minima utilizzando un insieme di leggi algebriche. Ogni circuito digitale, dalle porte di base ai processori complessi, funziona secondo la logica booleana e la semplificazione riduce direttamente il numero di porte, il consumo energetico e il ritardo di propagazione nell'hardware reale.
Somma dei prodotti (SOP)
Il formato standard in cui i termini AND vengono combinati con OR. Ogni funzione booleana può essere espressa in SOP e si mappa direttamente su una rete di porte AND-OR a due livelli.
Implicanti primi
Un implicante primo è un termine di prodotto che non può essere combinato con un altro termine per produrre un termine più semplice. Il metodo Quine-McCluskey trova sistematicamente tutti gli implicanti primi.
Implicanti primi essenziali
Un implicante primo essenziale copre almeno un minterm che nessun altro implicante primo copre. La copertura minima deve includere tutti gli implicanti primi essenziali.
Leggi di De Morgan e identità booleane
Queste identità fondamentali consentono di trasformare e semplificare le espressioni booleane. Il semplificatore li applica automaticamente.
| Nome identità | Espressione | Descrizione |
|---|---|---|
| DeMorgan1 | (AB)' = A' + B' | NAND è uguale a OR di complementi |
| DeMorgan2 | (A+B)' = A'B' | NOR è uguale a AND dei complementi |
| Assorbimento | A + AB = A | Rimuove i termini del prodotto ridondanti |
| Consenso | AB + A'C + BC = AB + A'C | Elimina i termini di consenso ridondanti |
| Complemento | A + A' = 1 | AA' = 0 | Una variabile OR il suo complemento è sempre 1 |
| Idempotente | A + A = A | AA = A | I termini ripetuti si riducono a un unico termine |
Algoritmo di Quine-McCluskey passo dopo passo
Il metodo Quine-McCluskey è una tecnica tabulare che trova sistematicamente la forma SOP minima di una funzione booleana. A differenza di K-maps, funziona per qualsiasi numero di variabili ed è intuitivo per il computer.
- 1 Elenca tutti i minterm. Converti ogni riga in cui l'output è 1 nella sua rappresentazione binaria e raggruppa per numero di bit a 1.
- 2 Unisci gruppi adiacenti. Combina coppie che differiscono esattamente per la posizione di un bit, sostituendo quel bit con un trattino (non importa). Ripetere fino a quando non saranno più possibili unioni.
- 3 Identificare gli implicanti primi. Qualsiasi termine che non può essere ulteriormente unito è un implicante primo. Raccoglili tutti in una tabella dei primi implicanti.
- 4 Selezionare gli implicanti primi essenziali. Trova ogni minterm coperto da esattamente un implicante primo: quell'implicante è essenziale. Includere tutti gli elementi essenziali nell'espressione finale.
- 5 Coprire i restanti minuti. Per tutti i minterm non ancora coperti dagli elementi essenziali, scegli avidamente ulteriori implicanti primi per ridurre al minimo il conteggio totale dei termini.
Strumenti correlati
Esplora queste pagine di strumenti dedicati per continuare il tuo flusso di lavoro con configurazioni di logica, Arduino, PCB e diagrammi incentrati sulla conversione.
Logic Gate Diagram Tool
Build clear gate-level logic diagrams and validate signal flow.
Apri strumentoArduino Circuit Maker
Document board pin connections, modules, and wiring paths quickly.
Apri strumentoPCB Schematic Tool
Draft production-ready schematic structures before PCB layout.
Apri strumentoTruth Table To Logic Circuit
Generate gate-level logic from truth-table behavior for quick validation and learning.
Apri strumento