C
| BA 00
| 01
| 11
| 10
|
0 | 0
| 1
| 1
| 1
|
1 | 0
| 0
| 0
| 1
|
Karnaugh-táblázat
Vizsgáljuk meg a diagram utolsó (BA=10) oszlopában lévő két cella tartalmát.
A felső cella tartalma az /AB/C, míg az alsó celláé az /ABC minterm. Mivel mindkét cella értéke 1, azt jelenti, hogy mindkét minterm a függvény tagja, és közöttük VAGY kapcsolat van. A két mintermből álló függvényrész egyszerűsíthető.
/AB/C + /ABC = /AB(/C+C) = /AB
A példa alapján is bizonyítottnak tekinthetjük, hogy ha két – élben érintkező – cellában 1 van, akkor ezek összevonhatók, vagyis az a változó, amelyikben különböznek a cellák kiesik. Az összevonhatóságot lefedő hurokkal szokás jelölni.
A lefedett (összevont) cellák VAGY kapcsolata adja az egyszerűsített függvényt:
K = /AB + A/C