Metoda Karnaugha

Metoda Karnaugha (wym. spolszczona karˈnofa), metoda Karnaugh (wym. ang. ˈkɑː(ɹ)nɔː^[1][2]) – sposób minimalizacji funkcji boolowskich. Został wynaleziony w 1950 roku przez Maurice'a Karnaugh. W ogólnym przypadku znalezienie formuły minimalnej dla zadanej funkcji boolowskiej jest bardzo skomplikowanym problemem. Jednak jeśli funkcja ma małą liczbę zmiennych (do sześciu) i zostanie zapisana w specjalnej tablicy zwanej mapą lub siatką Karnaugha, wówczas znalezienie minimalnej formuły odbywa się na drodze intuicyjnej. W celu minimalizacji funkcji o większej liczbie wejść stosuje się metody komputerowe, na przykład metodę Quine’a-McCluskeya.