Karnaughkort
Karnaughkort er en form for sandhedstabel som vises på matrixform. Dette gør den meget mere overskuelig, som er en meget stor fordel, hvis man arbejder med en stor sandhedstabel, dog vil man højest bruge 6 variabler, hvor der i billedet til højre kun er to.
På billedet til højre ser man først en sandhedstabel. Den bliver så først ved hjælp af en Boolesk omskrivning lavet til et karnaughkort, som viser hvilke værdier der er sande og hvilke der er falske. Nederst på billedet ses så, hvor karnaughkortet med boolesk skrivning omskrives blot til at vise sand (1) eller falsk (0), ligesom en almindelig sandhedstabel, bare i matrixform. Derudover bliver karnaughkortet skrevet med GRAY-kode, vil sige at kun 1 af variablerne må ændre sig af gangen. Det er også derfor at den går fra 01 til 11, i stedet for 01 til 10, fordi 01 til 10 vil resultere i at begge variabler ændrer sig.
For at komme frem til udtrykket, så skal man foretage en karnaughkort udlæsning