Karnaugh' kaart
Karnaugh' kaart, tuntud ka kui Veitchi diagramm, on abivahend kahendväärtusi sisaldava avaldise lihtsustamiseks. Karnaugh' kaardi leiutas 1953. aastal Bell Labsi instituudi telekommunikatsiooni insener Maurice Karnaugh. Tõeväärtustabelist võetud väärtused paigutatakse kaardile ja järjestatakse Gray koodi printsiibi kohaselt, s.o kõrvutiasetsevate tulpade või ridade puhul erineb vaid ühe muutuja väärtus. Seejärel moodustatakse tabelis olevatest tõestest väärtustest võimalikult suured grupid (kontuurid) suurusega 2n (1, 2, 4, 8, ...). Kontuuride põhjal leitakse avaldise lihtsustatud kuju.