Do realizacji iloczynu logicznego z negacją należy użyć funktora

Dobrze to ująłeś — funktor NAND rzeczywiście pozwala zrealizować iloczyn logiczny wraz z negacją w jednym układzie, co jest wręcz podstawą w projektowaniu cyfrowym. Moim zdaniem bramka NAND to taki trochę „kombajn” w logice cyfrowej, bo można na niej zbudować praktycznie dowolną inną funkcję logiczną, jeśli się trochę pokombinuje. Standardy przemysłowe, jak TTL czy CMOS, opierają całą masę struktur właśnie na bramkach NAND i NOR, bo są one proste do realizacji fizycznej i bardzo uniwersalne. W praktyce wiele podzespołów, np. rejestry, sumatory, a nawet przerzutniki, projektuje się, korzystając z układów tylko z bramek NAND, żeby uprościć produkcję i oszczędzić miejsce na płytce. Co ciekawe, wystarczy odpowiednio połączyć kilka NAND-ów i można uzyskać zarówno NOT, jak i AND, OR czy NOR — takie układy nazywamy uniwersalnymi. Z mojego doświadczenia wynika też, że osoby, które sprawnie używają NAND-a, szybciej ogarniają złożone schematy logiczne i łatwiej im optymalizować układy pod względem liczby elementów. W świecie elektroniki cyfrowej to naprawdę praktyka warta zapamiętania, bo przekłada się na niższe koszty, mniejsze zużycie energii i prostszy serwis. Tak w skrócie — wybór NAND-a jako realizatora iloczynu logicznego z negacją to nie tylko formalna poprawność, ale i praktyczny standard.