Washa saketi ya mantiki inayofanya kazi kwa kutumia kizuizi kimoja cha ujenzi - lango nyenyekevu la NAND - na uthibitishe kuwa inalingana na maalum.
Kila ngazi inakupa seti ya pembejeo na vipimo lengwa vya Boolean. Kazi yako ni kukusanya mzunguko ambao hutoa matokeo sahihi kwa kila mchanganyiko unaowezekana wa pembejeo, kwa kutumia milango ya NAND pekee.
Truthgate hugeuza muundo wa mantiki ya kidijitali kuwa fumbo la kujenga na kuthibitisha, kuonyesha jinsi kila lango linavyoweza kujengwa kutoka kwa NAND.
Vipimo lengwa vya Boole na seti ya maingizo ndio umbo la kawaida la tatizo la usanifu wa saketi, likielezwa kwa aljebra ya Boole na kukaguliwa dhidi ya jedwali la ukweli.
Kudai tokeo sahihi kwa kila mchanganyiko wa maingizo, si tu yale uliyoyafikiria, ndiyo nidhamu asilia hapa.
Ukamilifu huo ndio unaotenganisha mantiki na angavu. Saketi inayofanya kazi kwa hali ulizojaribu ndiyo hitilafu ya kawaida zaidi katika vifaa na programu kwa pamoja, na tiba pekee ni vipimo vinavyoorodhesha kila kitu — ambavyo kwa maingizo n inamaanisha safu 2ⁿ, na ndiyo sababu majedwali hukua haraka hivyo.
Truthgate hugeuza muundo wa mantiki ya kidijitali kuwa fumbo la kujenga-na-thibitisha: NAND imekamilika kiutendaji, kwa hivyo kila kitendakazi cha Boolean kinaweza kufanywa kutoka kwayo pekee. Ni mchezo asili, usiolipishwa wa kivinjari ulio na kiwango cha kila siku kilicho na tarehe na kampeni ya mazoezi isiyoisha.