Calculateur NAND bit à bit

Le NAND bit à bit, l'AND inversé de deux entiers, est la porte universelle de logique numérique qui produit zéro uniquement lorsque les deux bits d'entrée valent un. Les étudiants qui vérifient des tables de vérité, les ingénieurs embarqués qui contrôlent une logique masque-et-inversion sur un bus, et les analystes en rétro-ingénierie qui reconstruisent des opérations bit à bit dans un micrologiciel ont besoin d'un moyen déterministe de voir ce que valent douze NAND dix sur huit bits en décimal, binaire et hexadécimal sans ouvrir un REPL qui tronque silencieusement à trente-deux bits. Ce calculateur NAND bit à bit accepte deux entiers sûrs et une largeur de un à cinquante-trois bits, masque chaque opérande sur les bits bas de cette largeur, applique le NAND mathématique comme complément de l'AND sous ce masque, et renvoie le résultat non signé avec des rendus binaires complétés de zéros et hexadécimaux, plus l'AND intermédiaire pour que vous puissiez auditer chaque étape.

Ce que signifie le NAND bit à bit et pourquoi la largeur compte

Le NAND de deux bits n'est faux que lorsque les deux bits sont vrais : zéro NAND zéro vaut un, zéro NAND un vaut un, un NAND zéro vaut un, et un NAND un vaut zéro. Cette table de vérité est exactement l'AND inversé, si bien qu'un NAND multi-bits est le complément bit à bit de l'AND des deux mots.

En logique numérique une seule porte NAND est universelle : toute fonction booléenne peut être construite avec du NAND seul, d'où le statut de primitive dans les manuels et les bibliothèques silicium. Dans les langages de programmation il n'existe rarement d'opérateur NAND dédié ; on écrit la négation de a et b, mais les opérateurs bit à bit du langage utilisent souvent des largeurs machine fixes et une arithmétique à extension de signe qui s'écartent d'un modèle propre de bus non signé.

Ce calculateur prend donc une largeur w explicite de un à cinquante-trois, forme le masque de w uns, masque chaque opérande sur ces bits bas, calcule l'AND sous le masque, puis inverse et remasque pour que le résultat soit toujours une valeur non signée de w bits. Ce contrat à largeur fixe correspond à la façon dont les outils HDL et schématiques pensent un bus : seules les voies actives existent.

Les champs binaires sont complétés de zéros jusqu'à w pour aligner les colonnes sur des tables de vérité dessinées à la main, et les champs hex montrent la même magnitude non signée pour une comparaison rapide de dumps de registres. Les négatifs sont acceptés comme entiers sûrs ; seuls leurs w bits bas participent, ce qui équivaut à une troncature en complément à deux dans un champ non signé de largeur w plutôt qu'à inventer des uns infinis hors du bus.

Où un calculateur NAND bit à bit apporte une vraie valeur

Les laboratoires de conception numérique et FPGA demandent encore aux étudiants de construire des bus NAND multi-bits et de prouver que des cascades de portes NAND réalisent AND, OR et NOT ; un calculateur en direct qui affiche décimal, binaire et hex à une largeur choisie leur permet de vérifier les devoirs sans dessiner chaque colonne à la main.

Le micrologiciel embarqué implémente souvent des contrôles de masque inversé —activer un périphérique seulement lorsqu'un bit est à zéro— en codant la négation de statut et masque, ce qui est exactement un NAND sur le champ concerné ; vérifier ces expressions sur huit ou seize bits attrape les erreurs de masque d'un bit avant le silicium.

Les cours d'architecture des ordinateurs introduisent le trait de Sheffer et la complétude fonctionnelle ; montrer que a NAND b égale la négation de a et b à la même largeur ancre la théorie dans des nombres que l'étudiant peut recalculer. Les notes de sécurité qui inversent le bit-twiddling dans des unpackers récupèrent parfois des conjonctions inversées plutôt qu'un simple AND ; disposer d'un oracle déterministe qui n'utilise jamais en silence une extension de signe sur trente-deux bits évite le piège classique du portage entre langages.