Które równanie logiczne jest wynikiem minimalizacji funkcji przy pomocy przedstawionej tabeli Karnaugha?
A. \( Y = \overline{a \cdot c} + b \cdot d \)
B. \( Y = \overline{a} + b \cdot \overline{d} \)
C. \( Y = a + \overline{b \cdot d} \)
D. \( Y = a \cdot c + \overline{b} \cdot \overline{d} \)
Pytanie z egzaminu CKE, styczeń 2017 (arkusz E.19-X-17.01).
W tej tabeli Karnaugha grupowanie jedynek prowadzi do postaci $Y=\overline{a}+b\cdot\overline{d}$. Sens jest taki, że jedna duża grupa obejmuje wszystkie pola, w których zmienna a ma wartość 0, więc składnik $\overline{a}$ nie zależy już od b, c ani d. To właśnie jest główna zaleta mapy Karnaugha: zmienne, które w obrębie grupy zmieniają stan, wypadają z równania. Druga grupa daje składnik $b\cdot\overline{d}$, czyli sytuację, gdy b = 1 oraz d = 0, niezależnie od pozostałych zmiennych. Zmienna c w wyniku w ogóle nie występuje, co oznacza, że nie wpływa na stan wyjścia po uproszczeniu. Moim zdaniem to jest fajny przykład, bo pokazuje, że nie zawsze wszystkie wejścia muszą pojawić się w równaniu końcowym. W praktyce, np. przy programowaniu PLC w FBD albo LD zgodnie z podejściem znanym z IEC 61131-3, taka minimalizacja zmniejsza liczbę styków, bramek i połączeń logicznych. Układ jest prostszy, szybszy do sprawdzenia i mniej podatny na pomyłki przy uruchamianiu maszyny. Dobra praktyka jest taka, żeby po minimalizacji jeszcze raz sprawdzić równanie na kilku stanach wejściowych, szczególnie na granicach grup w mapie Karnaugha, bo tam najłatwiej coś przeoczyć.
W błędnych odpowiedziach widać typowe pomyłki przy odczytywaniu mapy Karnaugha. Wyrażenie $Y=a+\overline{b\cdot d}$ po zastosowaniu prawa de Morgana daje w praktyce $Y=a+\overline{b}+\overline{d}$. To jest zupełnie inna funkcja, bo wyjście byłoby aktywne dla bardzo wielu kombinacji, także wtedy, gdy a = 1. W poprawnym wyniku występuje $\overline{a}$, a nie a, więc odwrócenie tej zmiennej zmienia sens całej logiki. Taki błąd często bierze się z pomylenia pól jedynek z polami zer albo z nieuważnego czytania opisów osi w kodzie Graya. Równanie $Y=a\cdot c+\overline{b}\cdot\overline{d}$ także nie pasuje do minimalizacji, bo wprowadza zależność od c. Jeżeli w poprawnej grupie zmienna c zmienia się między 0 i 1, to powinna zostać usunięta z iloczynu, a nie pojawiać się w wyniku. To ważna zasada: w mapie Karnaugha zostają tylko te zmienne, które są stałe w całej grupie. Z kolei $Y=\overline{a\cdot c}+b\cdot d$ po uproszczeniu zawiera składnik $\overline{a}+\overline{c}$, więc znów obejmuje zbyt szeroki obszar mapy. Dodatkowo pojawia się tam $b\cdot d$, podczas gdy prawidłowy składnik ma postać $b\cdot\overline{d}$. To drobna kreska nad d, ale w logice cyfrowej robi ogromną różnicę. W praktyce przemysłowej, szczególnie przy PLC, taka pomyłka mogłaby spowodować załączenie wyjścia w niewłaściwym momencie, np. przy złym stanie czujnika krańcowego. Dlatego dobrą metodą jest zaznaczanie grup potęgami dwójki, pilnowanie sąsiedztwa z zawijaniem na brzegach mapy i dopiero potem zapisywanie równania.