Podłącz działający obwód logiczny za pomocą pojedynczego elementu konstrukcyjnego — skromnej bramki NAND — i udowodnij, że odpowiada on specyfikacji.
Każdy poziom udostępnia zestaw danych wejściowych i docelową specyfikację logiczną. Twoim zadaniem jest złożenie obwodu wytwarzającego prawidłowe wyjście dla każdej możliwej kombinacji wejść, używając wyłącznie bramek NAND.
Truthgate zamienia projekt logiki cyfrowej w łamigłówkę typu „zbuduj i weryfikuj”, pokazującą, jak każdą bramkę można zbudować z pamięci NAND.
Docelowa specyfikacja boolowska i zestaw wejść to standardowa postać problemu projektowania obwodów, sformułowana w algebrze Boole’a i sprawdzana względem tablicy prawdy.
Oryginalną dyscypliną jest tu wymóg poprawnego wyjścia dla każdej kombinacji wejść, a nie tylko tych, o których pomyślałeś.
Ta wyczerpującość oddziela logikę od intuicji. Obwód działający w przypadkach, które wypróbowałeś, to najczęstszy błąd zarówno w sprzęcie, jak i w oprogramowaniu, a jedynym lekarstwem jest specyfikacja wyliczająca wszystko — co dla n wejść oznacza 2ⁿ wierszy i dlatego tablice rosną tak szybko.
Truthgate zamienia projekt logiki cyfrowej w łamigłówkę polegającą na zbudowaniu i zweryfikowaniu: pamięć NAND jest funkcjonalnie kompletna, więc każdą funkcję boolowską można z niej wykonać samodzielnie. To oryginalna, darmowa gra przeglądarkowa z codziennym poziomem wypełnionym datami i niekończącą się kampanią ćwiczeniową.