6.4 Karnaughova mapa
Karnaughova mapa je grafický zápis pravdivostnej tabuľky, kde každému riadku zodpovedá určité políčko. Mapa má preto celkom 2N políčok, kde N je počet vstupných premenných. O každom políčku mapy môžeme povedať, či patrí do jej premennej alebo do jej negácie. Karnaughovu mapu môžeme veľmi výhodne využiť pri zjednodušovaní logických výrazov, obvykle nanajvýš štyroch premenných. Pri zjednodušovaní sa riadime formálnymi pravidlami a nemusíme znať príslušný matematický aparát. Dve susedné políčka sa líšia len v hodnote jednej premennej, ide o tzv. Grayov kód.
Uveďme si tvary máp pre 2, 3 a 4 premenné:
a.) Karnaughova mapa pre 2 premenné
Obr. 6.1. Princíp zápisu do Karnaughovej mapy
Pre exkluzívny súčet XOR vyzerá Karnaughova mapa takto :
Obr. 6.2.a Karnaughova mapa pre 2 premenné
b.) Karnaughova mapa pre tri premenné
Obr. 6.2.b Karnaughova mapa pre 3 premenné
c.) Karnaughova mapa pre 4 premenné
Obr. 6.2.c Karnaughova mapa pre 4 premenné