Minimalizálása kapcsolási funkciót
Térképek Carnot - grafikus ábrázolása műveleteinek páronként hiányos kötés és az elemi felszívódását.
Karnaugh térképek minősülnek megfelelően átépítették igazság táblázat funkciót.
Térképek Carnot - meghatározás lapos söpörni n-dimenziós logikai kocka.
Épített igazság táblázat működésének egy bizonyos módon. Minden cella a táblázat megfelel egy meghatározott felső logikai kocka. Nulla értékek nem kerülnek rögzítésre.
Karnaugh térkép funkció a 4 változó:

Karnaugh térképen tekinthető a felülete az ábrán úgynevezett tórusz ( „fánk”).
p-sejtek - Karnaugh térképet cellában, amely a függvény értékét egység.
Közeli szettek - készletek, amelyek csak egyetlen érv (egy pálya).
Bármely két szomszédos készletek a Karnaugh térkép megfelelő a szomszédos sejteket.
Két szomszédos p-sejtek a Karnaugh térkép implicant így az első helyezés. Például, a sejteket 1100 és a 1101 különböznek csak a változó értéke x3. Ezért adnak implicant 124.
Két szomszédos implicants alkotnak implicant első helyezés a második helyezés.

Ezen a térképen, a szomszédos sejtek alkotnak implicants a, b, c, d, e. Így implicants az a és b a szomszédos, így alkotnak implicant második helyezés.
Ha a funkció 5 változók, húzott 2 Karnaugh térkép: az x5 = 0 és X 5 = 1. Ha a 6 változók - 4 lapot úgy, hogy a szomszédos térképek szomszédos cellák azonos koordinátákat:

P-szomszédos cellák megfelelő implicants egy kompakt csoportot.
Száma p-sejtek egy kompakt csoport kettő valamely hatványa.
A probléma minimalizálása a kapcsolási funkció segítségével Karnaugh térképek áll megtalálásában implicants magasabb rangú (megfelel kompakt csoportok legnagyobb mérete), amely a p-sejtek a legjobban működik.
Ha Karnaugh térképek jelölje ki az összes kompakt csoportok legnagyobb mérete, a megfelelő diszjunkcióját kötőszavak lesz SkDNF.