Karnaugh, mappa di
Karnaugh, mappa di metodo grafico-sistematico per la semplificazione e la rappresentazione di funzioni logiche a n variabili, a partire da somme di mintermini o prodotti di maxtermini. Una mappa di Karnaugh è costituita da una serie di celle adiacenti opportunamente disposte: ogni cella rappresenta una particolare combinazione delle variabili di ingresso che compaiono nella funzione logica. Se n sono le variabili della funzione, la mappa di Karnaugh prevede 2n celle, tante quante sono le combinazioni possibili di n variabili. Si indica con 0 il valore falso, con 1 il valore vero, con ⋅ l’operatore logico e (and), con + l’operatore logico o (or) e con ¬ la negazione. Una funzione con due variabili A e B richiede una mappa di Karnaugh con quattro celle. Le celle sono disposte in modo tale che per qualsiasi coppia di celle adiacenti cambi il valore di una sola variabile. Per sintetizzare una funzione logica si determina la tavola di verità, da questa si risale alla funzione logica, espressa come somma di prodotti o come prodotti di somme, la si trasferisce nella mappa e infine si individuano nella mappa i gruppi di celle adiacenti con lo stesso valore. I gruppi di celle devono essere in numero di potenze di due (2, 4, 8 o 16 celle); si associa a ciascun gruppo una sola funzione logica nella quale appaiono solo le variabili d’ingresso che nelle celle del gruppo non variano.