Příklad 1
Mějme funkci z předchozí kapitoly, danou následující pravdivostní tabulkou a algebraickým výrazem.
| x1 |
x2 |
x3 |
y |
| 0 | 0 | 0 |
0 |
| 0 | 0 |
1 |
0 |
| 0 |
1 |
0 |
0 |
| 0 |
1 |
1 |
0 |
| 1 |
0 |
0 |
1 |
| 1 |
0 |
1 |
1 |
| 1 |
1 |
0 |
0 |
| 1 |
1 |
1 |
1 |
y = (x1·x2·x3)+(x1·x2·x3)+(x1·x2·x3)
Karnaughova mapa vypadá následovně:
| |
|
|
x2 | |||
| |
|
|
x1 | |||
| i | i | i | i | |||
| i | 0 | 1 | 0 | 0 | ||
| i | i | 0 | 1 | 1 |
0 |
|
| x3 | ||||||
Kombinace vstupních proměnných, které nabývají logické 1, jsou v pravdivostní tabulce a Karnaughově mapě barevně odlišeny. Podíváme-li se na políčko v karnaughově mapě, ve kterém je logická hodnota 1 modrou barvou, všimneme si, že nad tímto políčkem je vodorovná čára pro proměnné x1 a x2 a na levo od něj je svislá čára pro proměnnou x3. Toto políčko tedy reprezentuje stav, kdy všechny vstupní proměnné nabývají hodnoty logická 1. Sousední políčko, logická 1 červenou barvou, má nad sebou vodorovnou čáru pouze pro x1, pro x2 ne a na levé straně je opět svislá čára pro proměnnou x3. Jde tedy o stav, kde proměnné x1 a x3 nabývají logické 1 a x2 logické 0. Políčko ze zelenou logickou 1 reprezentuje stav, kde x1 je v logické 1 a proměnné x2 a x3 nabývají hodnot logická 0.