Mappa di Karnaugh — Guida alla semplificazione con K-Map

Una mappa di Karnaugh, o K-map, è una griglia usata per semplificare un’espressione booleana senza fare troppa algebra a mano. Si inseriscono nella griglia i valori di uscita di una tabella di verità, si raggruppano gli $1$ adiacenti e poi si scrive un termine più semplice per ogni gruppo.

La condizione conta: le K-map sono più pratiche per funzioni piccole, di solito con due, tre o quattro variabili. Quando il numero di variabili cresce, la mappa diventa più difficile da leggere e di solito conviene usare altri metodi.

Che cosa mostra una mappa di Karnaugh

Una K-map contiene le stesse informazioni di una tabella di verità, ma dispone le celle in ordine Gray invece che nel normale ordine binario. Questa disposizione fa sì che le celle vicine differiscano in una sola variabile.

Questa differenza di una sola variabile è il punto centrale. Se due celle adiacenti valgono entrambe $1$, la variabile che cambia può essere eliminata dal termine semplificato.

Come il raggruppamento elimina variabili

La regola visiva deriva da identità booleane come

$$XY + X\overline{Y} = X$$

I due termini differiscono solo in $Y$, quindi $Y$ si elimina e rimane la parte comune $X$. Una K-map ti permette di vedere direttamente questo schema di cancellazione sulla griglia.

Esempio di mappa di Karnaugh

Supponiamo

$$F(A,B,C) = \sum m(1,3,4,5,7)$$

Questo significa che $F=1$ per i mintermini $1$, $3$, $4$, $5$ e $7$.

Per una K-map a $3$ variabili, usa $A$ per le righe e $BC$ per le colonne in ordine Gray $00$, $01$, $11$, $10$:

$$\begin{array}{c|cccc} A \backslash BC & 00 & 01 & 11 & 10 \\ \hline 0 & 0 & 1 & 1 & 0 \\ 1 & 1 & 1 & 1 & 0 \end{array}$$

Inizia dal gruppo valido più grande. I quattro $1$ nelle due colonne centrali formano un gruppo. In queste quattro celle, $C=1$ resta fisso mentre $A$ e $B$ cambiano, quindi quel gruppo si semplifica in

$$C$$

Rimane ancora uno $1$ non coperto: il mintermine $4$, cioè $(A,B,C)=(1,0,0)$. Abbinalo al mintermine adiacente $5$, che è $(1,0,1)$.

In quella coppia, $A=1$ e $B=0$ restano fissi mentre $C$ cambia, quindi la coppia si semplifica in

$$A\overline{B}$$

Quindi l’espressione semplificata è

$$F(A,B,C) = C + A\overline{B}$$

Questa espressione più corta è equivalente all’elenco originale dei mintermini.

Regole per gruppi validi in una K-map

Usa gruppi con dimensioni che siano potenze di due: $1$, $2$, $4$, $8$ e così via.

Usa i gruppi validi più grandi possibili. I gruppi più grandi di solito eliminano più variabili.

Ricorda che la mappa “si richiude” sui bordi. Il bordo sinistro e quello destro sono adiacenti, e anche il bordo superiore e quello inferiore sono adiacenti.

Le celle diagonali non sono adiacenti.

La sovrapposizione è consentita quando aiuta a creare un raggruppamento più grande o più semplice.

Errori comuni nelle mappe di Karnaugh

Usare il normale ordine binario

Se etichetti righe o colonne come $00$, $01$, $10$, $11$, l’adiacenza è sbagliata. Le K-map devono usare l’ordine Gray, così le celle vicine differiscono di un solo bit.

Creare gruppi di tre

Un gruppo di tre celle non è mai valido. La dimensione deve essere una potenza di due.

Dimenticare l’adiacenza ai bordi

Alcune delle semplificazioni migliori usano celle ai bordi opposti della mappa. Se dimentichi la regola del collegamento ai bordi, la tua risposta spesso risulta più lunga del necessario.

Forzare ogni $1$ a stare in un solo gruppo

Questa non è una regola. Riutilizzare una cella può essere il modo migliore per creare un gruppo più grande e un’espressione finale più corta.

Quando si usa una mappa di Karnaugh

Le K-map sono comuni nella logica digitale e nei corsi introduttivi di ingegneria informatica perché trasformano la semplificazione booleana in un processo visivo. Sono particolarmente utili quando vuoi ottenere un’espressione somma di prodotti più semplice prima di disegnare o implementare un circuito logico.

Sono utili anche per sviluppare intuizione. Anche se il software gestisce progetti più grandi, imparare le K-map aiuta a capire perché certi termini booleani si combinano e altri no.

Prova un problema simile

Prova a semplificare da solo $F(A,B,C)=\sum m(0,2,4,6,7)$. Disegna la mappa, crea prima i gruppi validi più grandi e poi mantieni solo le variabili che restano costanti in ogni gruppo.

Se vuoi fare un passo in più, prova una versione con valori don't-care e usali solo quando ti aiutano a creare un gruppo valido più grande.