Verdrahten Sie einen funktionierenden Logikschaltkreis mit einem einzigen Baustein – dem bescheidenen NAND-Gatter – und beweisen Sie, dass er den Spezifikationen entspricht.
Wie man spielt
Auf jeder Ebene erhalten Sie eine Reihe von Eingaben und eine boolesche Zielspezifikation. Ihre Aufgabe besteht darin, eine Schaltung zusammenzustellen, die für jede mögliche Kombination von Eingängen den richtigen Ausgang erzeugt und dabei ausschließlich NAND-Gatter verwendet.
Klicken Sie auf „NAND hinzufügen“ und klicken Sie dann auf zwei Quellknoten (einen Eingang oder ein vorhandenes Gate), um die beiden Eingänge zu verbinden.
Wählen Sie mit „Als Ausgang festlegen“ aus, welcher Knoten der Ausgang der Schaltung sein soll.
Ein Live-Wahrheitstabellen-Kabelbaum prüft Ihre Rennstrecke Zeile für Zeile auf das Ziel – vergleichen Sie jede Zeile, um zu gewinnen.
Gewertet wird anhand der Anzahl der Tore im Vergleich zum Level-Level. Je enger also Ihr Körperbau, desto besser.
Kontrollen
Desktop: Klicken Sie auf NAND hinzufügen und dann auf Knoten, um sie zu verbinden. Klicken Sie auf einen Knoten und legen Sie ihn als Ausgabe fest. Hinweis erstellt automatisch einen Schritt.
Telefon und Tablet: Tippen Sie auf dieselben Tasten und tippen Sie auf Knoten, um sie zu verkabeln – vollständig berührungsfreundlich.
Tipps & Strategie
Denken Sie daran, dass ein NAND nur ein umgekehrtes UND ist – wenn Sie denselben Knoten in beide Eingänge einspeisen, erhalten Sie ein NICHT.
Verwenden Sie vorhandene Gates als gemeinsame Eingaben wieder, um unterdurchschnittlich zu bleiben, anstatt Unterausdrücke neu zu erstellen.
Achten Sie beim Verdrahten auf die Wahrheitstabelle. Verfolgen Sie die Zeilen, die immer noch nicht übereinstimmen.
Was Sie lernen werden
Truthgate verwandelt das digitale Logikdesign in ein Build-and-Verify-Puzzle und zeigt, wie jedes Gate aus NAND gebaut werden kann.
Am besten geeignet für: ungefähr die Klassen 9–12 (ab 14 Jahren)
Für Eltern & Lehrer: digitale Logik allein aus NAND.
Ursprünge
Eine boolesche Zielspezifikation und ein Satz von Eingaben sind die Standardform eines Schaltungsentwurfsproblems, formuliert in boolescher Algebra und geprüft anhand einer Wahrheitstabelle.
Die richtige Ausgabe für jede Eingabekombination zu verlangen, nicht nur für die, an die man gedacht hat, ist hier die originelle Disziplin.
Diese Vollständigkeit trennt Logik von Intuition. Eine Schaltung, die in den ausprobierten Fällen funktioniert, ist der häufigste Fehler in Hardware wie Software, und das einzige Mittel dagegen ist eine Spezifikation, die alles aufzählt – was bei n Eingaben 2ⁿ Zeilen bedeutet und der Grund ist, warum die Tabellen so schnell wachsen.
Über Truthgate
Truthgate verwandelt den Entwurf digitaler Logik in ein Bau- und Verifizierungspuzzle: NAND ist funktionell vollständig, sodass jede boolesche Funktion allein daraus erstellt werden kann. Es handelt sich um ein originelles, kostenloses Browsergame mit einem tagesaktuellen Level und einer endlosen Übungskampagne.
Ein originelles, kostenloses Browserspiel — ohne Download. Alle Spiele ansehen →
