Calcolatrice per l'algebra di Boole

Una calcolatrice per l'algebra booleana valuta e semplifica le espressioni logiche applicando le regole dell'algebra di Boole.

Genera tabelle di verità che mostrano ogni combinazione di input/output, individua mintermini e maxtermini e applica algoritmi di minimizzazione come quello di Quine-McCluskey per trovare l'espressione equivalente più semplice.

Questa calcolatrice accetta diversi stili di notazione:

• AND (*, ·, AND, &&)
• OR (+, OR, ||)
• NOT (', !, ~, NOT)
• XOR (^, XOR)
• NAND
• NOR
• XNOR

Le variabili sono singole lettere da A a D. Le parentesi sono supportate per i raggruppamenti.

Esempi: A*B+C', (A OR B) AND NOT C, A NAND B.

Per semplificare un'espressione booleana, si applicano le leggi algebriche che regolano la logica binaria fino a quando non è più possibile alcuna riduzione.

Inizia con le leggi dell'identità e del complemento (A + A' = 1, A · A' = 0), quindi usa l'assorbimento (A + A·B = A) e la distribuzione per raccogliere le variabili comuni. I teoremi di De Morgan convertono i gruppi complementati, mentre il teorema del consenso rimuove i termini ridondanti. Per un risultato sistematico, elenca i mintermini e combina quelli che differiscono per un solo bit.

Come introdotto da George Boole nel suo lavoro del 1854, secondo l'Encyclopaedia Britannica, queste leggi formano un'algebra chiusa in cui ogni espressione può essere ridotta a una forma minima (non sempre unica). Questa calcolatrice mostra ogni regola applicata in ordine.

Una tabella di verità elenca ogni possibile combinazione delle variabili di input e l'output risultante, fornendo una definizione completa di una funzione booleana.

Per n variabili ci sono 2^n righe, quindi due variabili producono 4 righe e quattro variabili producono 16 righe; al contrario, il numero di variabili equivale al logaritmo in base 2 del numero di righe, che la nostra calcolatrice matematica può valutare per funzioni più ampie. Ordina gli input nella sequenza di conteggio binario standard (00, 01, 10, 11) e valuta l'espressione per ogni riga.

In base allo standard IEEE per le operazioni logiche, la colonna di output caratterizza completamente la funzione, indipendentemente da come viene scritta l'espressione. Questo strumento genera automaticamente la tabella di verità, per poi ricavare direttamente da essa i mintermini (righe pari a 1) e i maxtermini (righe pari a 0).

La somma di prodotti (SOP) esprime una funzione booleana come un OR di termini AND, un mintermine per ogni riga in cui l'uscita è pari a 1. Il prodotto di somme (POS) è la forma duale: un AND di termini OR, un maxtermine per ogni riga in cui l'uscita è pari a 0.

Entrambe sono forme canoniche che descrivono la stessa funzione e ciascuna può essere minimizzata. I manuali di progettazione digitale, come quelli citati da All About Circuits, evidenziano che la SOP si adatta naturally a reti di porte a due livelli AND-OR, mentre la POS si adatta a reti OR-AND.

Scegli la forma che richiede meno porte per il tuo circuito. La calcolatrice online mostra entrambe le forme canoniche e la SOP minimizzata per consentirti un confronto.

Una mappa di Karnaugh è una griglia che organizza le uscite della tabella della verità in modo che le celle fisicamente adiacenti differiscano per una sola variabile, utilizzando l'ordinamento in codice Gray (00, 01, 11, 10).

Questa adiacenza permette di raggruppare visivamente gli 1 in blocchi rettangolari con dimensioni pari a potenze di due (1, 2, 4, 8), eliminando così le variabili ridondanti per ricavare una SOP minima.

Prendendo il nome da Maurice Karnaugh, che pubblicò questa tecnica nel 1953, le mappe K sono pratiche fino a quattro o cinque variabili, prima che l'adiacenza diventi difficile da seguire. Questa calcolatrice online genera una mappa con codifica a colori che evidenzia ogni mintermine, consentendoti di verificare visivamente il risultato algoritmico.

Il metodo di Quine-McCluskey è una procedura tabellare che garantisce l'ottenimento di una somma di prodotti minima, risultando più affidabile delle mappe di Karnaugh per funzioni con molte variabili.

Elenca ogni mintermine in formato binario, raggruppa i termini in base al numero di bit pari a 1 e poi combina ripetutamente quelli che differiscono per un singolo bit, contrassegnando la posizione eliminata con un trattino. I termini che non possono più essere combinati sono definiti implicanti primi. Una tabella degli implicanti primi seleziona quindi il set minimo di implicanti primi essenziali che copre tutti i mintermini.

Trattandosi di un metodo algoritmico, funziona perfettamente laddove i metodi visivi falliscono, ed è per questo che è alla base di molti strumenti automatici di sintesi logica usati nei moderni flussi di lavoro EDA.

I teoremi di De Morgan stabiliscono che (A·B)' = A' + B' e (A+B)' = A'·B': la complementazione di un gruppo inverte l'operatore e nega ciascuna variabile. Queste leggi costituiscono la base per convertire qualsiasi circuito in una forma composta esclusivamente da porte NAND o NOR.

NAND e NOR sono chiamate porte universali poiché qualsiasi funzione booleana può essere realizzata interamente con una sola di esse, una proprietà ampiamente sfruttata nella produzione dei chip per ridurre la varietà di transistor necessari. Come indicano i testi di riferimento per la logica digitale, questa universalità semplifica sia la produzione che i test.

La calcolatrice scientifica online applica automaticamente le leggi di De Morgan quando inserisci gli operatori NAND, NOR o XNOR, mostrando la corrispondente espansione con AND/OR/NOT.

L'algebra di Boole viene utilizzata ben oltre i libri di testo. Gli ingegneri hardware la impiegano per ridurre al minimo il numero di porte nella logica combinatoria di CPU, FPGA e ASIC, riducendo direttamente il consumo energetico e la superficie del chip.

I programmatori utilizzano le stesse leggi per semplificare le istruzioni condizionali, ottimizzare la logica di ramificazione nei compilatori e scrivere condizioni if più chiare. Gli ingegneri di basi di dati traducono i filtri delle query in predicati booleani e i motori di ricerca valutano gli operatori AND/OR/NOT allo stesso modo.

Secondo i programmi di informatica riassunti dalla Khan Academy, la logica booleana è fondamentale per l'elaborazione di tutte le informazioni digitali. Questa calcolatrice matematica supporta fino a quattro variabili, coprendo la stragrande maggioranza degli esercizi d'esame sulla logica combinatoria e dei problemi quotidiani di semplificazione.

La semplificazione delle espressioni booleane comporta diversi errori comuni:

• L'errore più frequente è confondere l'operatore OR (+) con l'addizione aritmetica: nell'algebra booleana 1 + 1 = 1, non 2.
• Un altro errore è omettere le parentesi, modificando così la precedenza degli operatori e ottenendo una funzione diversa; NOT ha la precedenza massima, seguito da AND e infine da OR.
• Gli studenti spesso interrompono la semplificazione troppo presto, ignorando un termine di consenso o un assorbimento che eliminerebbe un'intera variabile, oppure troppo tardi, raccogliendo eccessivamente i fattori in un'espressione più lunga.
• L'errato ordinamento delle colonne nella mappa di Karnaugh (utilizzando il codice binario 00, 01, 10, 11 anziché il codice Gray 00, 01, 11, 10) interrompe l'adiacenza e porta a raggruppamenti errati.

Verifica sempre il risultato semplificato confrontandolo con la tabella della verità originale, operazione che questa calcolatrice matematica esegue automaticamente per individuare eventuali sviste.

Quando un'espressione combina più operatori senza parentesi complete, l'algebra booleana valuta prima NOT, poi AND e infine OR, rispecchiando il modo in cui la moltiplicazione precede l'addizione nell'aritmetica ordinaria.

Quindi A + B·C significa A OR (B AND C), e A·B' significa A AND (NOT B), non (A AND B)'. Il simbolo XOR viene in genere trattato allo stesso livello di AND o a un livello inferiore, pertanto si consiglia di utilizzare le parentesi ogni volta che si combina XOR con altri operatori per evitare ambiguità.

Questa precedenza segue le convenzioni utilizzate nella letteratura sulla logica digitale e nella notazione IEEE. Per sicurezza, racchiudi tra parentesi ogni sottoespressione di cui desideri definire chiaramente il raggruppamento; la calcolatrice online rispetta sempre le parentesi esplicite anziché la precedenza predefinita.