Funkcja y = a•b + c jest sumą logiczną (OR) dwóch składników: iloczynu a•b oraz sygnału c. Aby zrealizować ją wyłącznie na bramkach NAND, dąży się do zapisu, w którym występuje zanegowany iloczyn (bo dokładnie to realizuje NAND): (x•y)'.
Krok 1: wprowadzenie podwójnej negacji, która nie zmienia wartości funkcji:
y = ((a•b + c)')'.
Krok 2: przekształcenie wewnętrznej negacji sumy zgodnie z prawami De Morgana. Dla sumy zachodzi zależność:
(X + Y)' = X'•Y'.
Podstawiając X = a•b oraz Y = c otrzymujemy:
(a•b + c)' = (a•b)' • c'.
Krok 3: podstawienie do całości daje wynik:
y = ((a•b)' • c')'.
Ten zapis jest "NAND-owy" z trzech powodów:
- (a•b)' można otrzymać bezpośrednio z bramki NAND z wejściami a i b.
- c' można uzyskać z bramki NAND przez podanie c na oba wejścia (NAND(c,c) = (c•c)' = c').
- Ostatni etap to znów NAND: zanegowany iloczyn dwóch sygnałów (a•b)' oraz c'.
Dlaczego inne typowe odpowiedzi bywają błędne? Najczęstsza pułapka to zły De Morgan: po zanegowaniu nawiasu studenci czasem zostawiają "+" zamiast zamienić je na "•", albo przenoszą negację na litery bez zachowania struktury. Takie pomyłki prowadzą do innej tablicy prawdy, więc układ kombinacyjny realizuje inną funkcję niż wymagano.