Funkcja F(A,B,C)=Σ(0,2,4,5) jest zadana listą mintermów, czyli tych kombinacji wejść, dla których wyjście ma wartość 1. Dla trzech zmiennych indeksy odpowiadają stanom binarnym: 0→000, 2→010, 4→100, 5→101.
Na mapie Karnaugh zaznacza się jedynki w polach odpowiadających tym kombinacjom i następnie wykonuje grupowanie sąsiednich jedynek w prostokąty o rozmiarze będącym potęgą dwójki (1, 2, 4, …). Celem jest uzyskanie jak najmniejszej liczby składników i jak najmniejszej liczby zmiennych w każdym składniku.
Dla tej funkcji typowe grupowania prowadzą do postaci sumy iloczynów (SOP), np.:
- para (0,2) daje składnik A′C′ (zmienia się tylko B, więc B wypada),
- para (4,5) daje składnik AB′ (zmienia się tylko C, więc C wypada).
Ostatecznie można otrzymać wyrażenie w rodzaju F = A′C′ + AB′. Taka postać wymaga:
- NOT – do uzyskania zanegowanych zmiennych (A′, B′, C′),
- AND – do realizacji iloczynów (A′C′ oraz AB′),
- OR – do zsumowania składników (… + …).
Dlatego odpowiedź "Bramka AND, OR i NOT" jest właściwa dla klasycznej minimalizacji i implementacji SOP bramkami podstawowymi.
Odpowiedź "Bramka NAND i NOR" jest myląca w kontekście "doboru bramek do minimalizacji": NAND i NOR są bramkami funkcjonalnie pełnymi, więc można z nich zbudować dowolną funkcję, ale nie wynika z tego automatycznie minimalna, najprostsza realizacja po minimalizacji Karnaugh w SOP bez dodatkowych przekształceń.
Odpowiedź "Bramka XOR i XNOR" dotyczy funkcji parzystości/równości, a nie ogólnej realizacji sumy mintermów; zwykle nie pozwala bezpośrednio otrzymać minimalnej postaci SOP dla wskazanych pól mapy.
Odpowiedź "Bramka OR i NOR" nie zapewnia wprost realizacji iloczynów (AND) i negacji wszystkich potrzebnych zmiennych w typowej strukturze SOP, więc nie odpowiada standardowej implementacji wynikającej z mapy Karnaugh.
