Prawa De Morgana opisują, jak zachowuje się negacja sumy i iloczynu logicznego. W ujęciu bramkowym oznacza to, że gdy "przenosimy" negację przez bramkę, zmienia się jej typ: AND przechodzi w OR (i odwrotnie), a na wejściach/wyjściu pojawiają się inwersje sygnałów.
Bramka NAND to w skrócie bramka AND z negacją na wyjściu. Dzięki prawom De Morgana można przekształcać większe struktury zbudowane z NAND tak, aby uzyskać układ równoważny z bramek typu NOR (które też są bramkami uniwersalnymi). Taka zamiana nie polega na mechanicznym podmienieniu jednej bramki na drugą bez zmian, lecz na systematycznym przekształceniu całej sieci: zamianie operatorów oraz odpowiednim rozmieszczeniu inwerterów.
Dlaczego pozostałe odpowiedzi są niepoprawne w tym sformułowaniu pytania?
- OR – sama bramka OR nie jest równoważna NAND; do uzyskania równoważności potrzebne są jeszcze inwersje wejść/wyjść i zwykle zmiana struktury, więc odpowiedź jest zbyt uproszczona.
- AND – analogicznie: AND bez negacji nie zachowuje funkcji NAND; brakuje elementu negacji.
- XOR – XOR realizuje inną klasę funkcji (różność), nie wynika bezpośrednio z praw De Morgana jako zamiennik dla sieci NAND w sensie typowej transformacji dualnej.
W nauce do egzaminu warto zapamiętać, że NAND i NOR są bramkami uniwersalnymi oraz że prawa De Morgana są podstawowym narzędziem do przekształcania realizacji logicznych przy zachowaniu tej samej funkcji.
