Mappe di Karnaugh
Le semplificazioni delle funzioni logiche si effettuano mediante i teoremi dell’algebra delle commutazioni (algebra di Boole).
Esiste però un metodo molto più pratico di semplificazione che è quello costituito dalle mappe di Karnaugh.
Tale metodo, di facile applicazione pr funzioni di poche variabili, in genere fino ad un massimo di quattro o cinque, risulta piuttosto difficoltoso se le variabili diventano numerose.
Consideriamo una funzione di commutazione ad n variabili. La corrispondente mappa sarà costituita da un numero di caselle pari al numero di combinazioni binarie che con tali variabili è possibile effettuare cioè 2n. Caselle che hanno un lato in comune sono dette adiacenti. Devono essere considerate adiacenti anche le caselle alle estremità di una riga o di una colonna, come se la mappa fosse disegnata su una superficie chiusa (cilindro).
AB\CD	00	01	11	10	
00	0	1	3	2	
01	4	5	7	6	
11	12	13	15	14	
10	8	9	11	10	
A\B	0	1	
0			
1			
A\BC	00	01	11	10	
0					
1					

Sono caselle adiacenti, ad esempio, le caselle 1 e 9, 4 e 6, 1 e 3; non lo sono 12 e 9, 3 e 15.
Le caselle sono disposte in modo tale che passando da una qualsiasi ad una adiacente sulla stessa riga o sulla stessa colonna cambia di valore una sola variabile. Per rappresentare una funzione F sulla mappa, basta scrivere 1 nelle caselle corrispondenti alle combinazioni per le quali la funzione vale 1.
Ad esempio alla funzione:
F = A · B · C + A · B · C + A · B · C + A · B · C + A · B · C
(forma canonica della somma) corrisponde la seguente mappa di Karnaugh:
C\AB	00	01	11	10	
0	1	1	1	1	
1		1			

La mappa di Karnaugh è un metodo grafico per applicare la regola algebrica per cui:

M ·A + M · A = M

dove M rappresenta un fattore costituito dal prodotto logico tra variabili e A è una variabile booleana. 

Algoritmo:
1.	Per ogni 1 presente nella mappa di F determiniamo i cubi1 massimali che lo contengono e tali che in ciascuno dei loro quadrati si abbia F =1.
2.	Se un uno è coperto da un solo cubo massimale, bisogna includere tale cubo nell’insieme minimale dei termini (cubo essenziale).
3.	Determiniamo un insieme minimale di cubi massimali necessari per coprire gli 1 nella mappa non coperti dai cubi essenziali.

Supponiamo di aver identificato l’insieme minimale di cubi che ricoprono tutti gli 1 della mappa. Ora, per ciascuno di essi, determiniamo quali variabili mantengono il valore costante in tutte le caselle del cubo. Si considerano tali variabili prodotte tra loro e prese in modo tale che se il valore è 0 la variabile è complementata se il valore è 1 no.

ES.
Funzione a quattro variabili:
F = m0 + m1 + m3 + m6 + m7 + m8 + m11 + m12 + m14 + m15
AB\CD	00	01	11	10	
00	1	1	1		
01			1	1	
11	1		1	1	
10	1		1		

Vediamo quali sono i cubi massimali:

Cubo essenziale

Cubo essenziale

F = C · D + B · C + A · C · D + A · B · C