Commencez avec une humble porte NAND et reconstruisez toute la logique booléenne, porte par porte, jusqu'à ce que vous puissiez correspondre à n'importe quelle table de vérité.
Sur un établi de câblage, vous placez des portes, connectez leurs ports et visez à ce que la sortie reproduise une table de vérité cible. La campagne parcourt un arbre technologique : construisez NOT à partir de NAND, puis AND, OR et XOR à partir des portes que vous avez déverrouillées, avant un niveau cible final de forme libre.
Gatecraft enseigne l'exhaustivité fonctionnelle – comment chaque porte logique peut être construite à partir de NAND uniquement – une idée profonde rendue jouable.
Placer des portes, câbler leurs entrées et sorties et faire en sorte que la sortie reproduise une table de vérité cible, c'est le fondement de l'électronique numérique, qui repose sur l'algèbre de Boole — la logique du vrai et du faux formulée par George Boole au XIXe siècle, qui s'est révélée décrire les circuits.
Remonter un arbre technologique des portes simples vers des composants plus grands reflète la manière dont la discipline elle-même est enseignée et construite.
La table de vérité est ce qui rend tout cela possible. Elle spécifie complètement le comportement sans rien dire de l'implémentation, si bien que la même cible peut être atteinte par plusieurs circuits — et c'est en les comparant qu'entre en jeu l'idée d'efficacité.
Gatecraft enseigne l'exhaustivité fonctionnelle – comment chaque porte logique peut être dérivée uniquement de NAND. Il s'agit d'un puzzle de navigateur original et gratuit conçu en interne pour PlayPendium.