Câblez un circuit logique fonctionnel à l’aide d’un seul élément de base – l’humble porte NAND – et prouvez qu’il correspond aux spécifications.
Comment jouer
Chaque niveau vous remet un ensemble d'entrées et une spécification booléenne cible. Votre travail consiste à assembler un circuit qui produit la sortie correcte pour chaque combinaison possible d'entrées, en utilisant uniquement des portes NAND.
Appuyez sur Ajouter NAND, puis cliquez sur deux nœuds sources (une entrée ou une porte existante) pour câbler ses deux entrées.
Choisissez quel nœud est la sortie du circuit avec Définir comme sortie.
Une table de vérité en direct vérifie votre circuit par rapport à la cible, ligne par ligne – faites correspondre chaque ligne pour gagner.
Vous êtes marqué en fonction du nombre de portes par rapport au par du niveau, donc plus votre build est serré, mieux c'est.
Contrôles
Bureau : cliquez sur Ajouter NAND, puis cliquez sur les nœuds pour les câbler ; cliquez sur un nœud et définissez-le comme sortie ; L'indice construit automatiquement une étape.
Téléphone et tablette : appuyez sur les mêmes boutons et appuyez sur les nœuds pour câbler - entièrement tactile.
Conseils et stratégie
N'oubliez pas qu'un NAND n'est qu'un ET inversé : introduire le même nœud dans les deux entrées vous donne un NON.
Réutilisez les portes existantes comme entrées partagées pour rester sous la normale au lieu de reconstruire les sous-expressions.
Regardez la table de vérité pendant que vous câblez ; chassez les lignes qui ne correspondent toujours pas.
Ce que vous apprendrez
Truthgate transforme la conception logique numérique en un puzzle de construction et de vérification, montrant comment chaque porte peut être construite à partir de NAND.
Idéal pour : environ la 9e à la 12e année (à partir de 14 ans)
Pour les parents et les enseignants : logique numérique issue de la NAND uniquement.
Origines
Une spécification booléenne cible et un ensemble d'entrées, c'est la forme classique d'un problème de conception de circuits, énoncé en algèbre de Boole et vérifié par une table de vérité.
Exiger la sortie correcte pour chaque combinaison d'entrées, et pas seulement celles auxquelles vous avez pensé, est la discipline originale ici.
Cette exhaustivité est ce qui sépare la logique de l'intuition. Un circuit qui fonctionne sur les cas que vous avez essayés est le bogue le plus courant, en matériel comme en logiciel, et le seul remède est une spécification qui énumère tout — ce qui, pour n entrées, signifie 2ⁿ lignes, et explique pourquoi les tables grandissent si vite.
À propos de Truthgate
Truthgate transforme la conception logique numérique en un puzzle de construction et de vérification : la NAND est fonctionnellement complète, de sorte que chaque fonction booléenne peut être créée à partir d'elle seule. Il s'agit d'un jeu par navigateur original et gratuit avec un niveau quotidien classé par date et une campagne d'entraînement sans fin.
Un jeu original et gratuit dans votre navigateur — sans téléchargement. Voir tous les jeux →
