Sluit een werkend logisch circuit aan met behulp van een enkele bouwsteen – de eenvoudige NAND-poort – en bewijs dat het voldoet aan de specificaties.
Hoe te spelen
Elk niveau geeft u een reeks invoergegevens en een Booleaanse doelspecificatie. Het is jouw taak om een circuit samen te stellen dat de juiste uitvoer produceert voor elke mogelijke combinatie van invoer, waarbij alleen NAND-poorten worden gebruikt.
Druk op NAND toevoegen en klik vervolgens op twee bronknooppunten (een ingang of een bestaande poort) om de twee ingangen te bedraden.
Kies welk knooppunt de uitvoer van het circuit is met Instellen als uitvoer.
Een live waarheidstabelharnas vergelijkt uw circuit met het doel, rij voor rij - match elke rij om te winnen.
Je krijgt een score op poorttelling ten opzichte van de par van het level, dus hoe strakker je build, hoe beter.
Controles
Desktop: klik op NAND toevoegen en klik vervolgens op knooppunten om ze te bedraden; klik op een knooppunt en stel in als uitvoer; Hint bouwt automatisch een stap op.
Telefoon en tablet: tik op dezelfde knoppen en tik op knooppunten om te bedraden - volledig aanraakvriendelijk.
Tips & strategie
Onthoud dat een NAND slechts een omgekeerde AND is: als je hetzelfde knooppunt in beide ingangen invoert, krijg je een NOT.
Hergebruik bestaande poorten als gedeelde invoer om onder de maat te blijven in plaats van subexpressies opnieuw op te bouwen.
Bekijk de waarheidstabel terwijl u telefoneert; achtervolg de rijen die nog steeds niet bij elkaar passen.
Wat je gaat leren
Truthgate verandert digitaal logisch ontwerp in een bouw-en-verifieer-puzzel, die laat zien hoe elke poort vanuit NAND kan worden gebouwd.
Voor ouders en leerkrachten: alleen digitale logica van NAND.
Oorsprong
Een booleaanse doelspecificatie en een verzameling invoeren is de standaardvorm van een circuitontwerpprobleem, geformuleerd in booleaanse algebra en getoetst aan een waarheidstabel.
De juiste uitvoer eisen voor elke combinatie van invoeren, niet alleen voor die waaraan je dacht, is hier de originele discipline.
Die volledigheid scheidt logica van intuïtie. Een circuit dat werkt in de gevallen die je probeerde, is de meest voorkomende bug in zowel hardware als software, en het enige middel is een specificatie die alles opsomt — wat bij n invoeren 2ⁿ rijen betekent, en de reden dat de tabellen zo snel groeien.
Over Truthgate
Truthgate verandert digitaal logisch ontwerp in een bouw-en-verifieer-puzzel: NAND is functioneel compleet, dus elke Booleaanse functie kan daaruit alleen worden gemaakt. Het is een origineel, gratis browserspel met een dagelijks niveau met datumgegevens en een eindeloze oefencampagne.
