{"id":"nand","level":"logic","name":"Two-input CMOS NAND gate","shortName":"NAND","role":"Implements a universal Boolean operation with complementary transistor networks.","description":"A two-input NAND outputs zero only when both inputs are one. Its standard static CMOS network uses series nMOS devices to pull down when both conditions are true and parallel pMOS devices to pull up otherwise. This relationship between series, parallel, and logic is the bridge from circuit topology to a truth table. NAND is universal: networks of NAND gates can represent any Boolean function, although practical chips use many cell types for efficiency. The atlas lets a viewer trace the conducting path for each input combination. Four visible devices are enough to explain the function, while the circuit's delay still depends on physical loads and transistor choices.","specs":[{"label":"Logic equation","value":"Y = NOT(A AND B)","context":"Output is low only for A = B = 1."},{"label":"Canonical implementation","value":"4 transistors","context":"Two nMOS and two pMOS."},{"label":"Logical property","value":"Universal gate","context":"Networks can express arbitrary Boolean functions."}],"interfaces":[{"name":"A and B","direction":"in","signal":"Two binary-encoded voltage inputs"},{"name":"Y","direction":"out","signal":"NAND output voltage"}],"tradeoff":"Series devices add resistance to a conducting path. More complex cells trade transistor count against logic depth.","whyAI":"NAND networks help implement control and arithmetic. Their composition explains how a few switching patterns scale into computation.","related":["inverter","adder","standard-cell"],"sources":[{"title":"MIT 6.004 — Computation Structures Student Notes","url":"https://6191.mit.edu/_static/fall24/resources/references/6004_student_notes_FA20.pdf"}],"scale":"Microscopic four-device teaching cell","kind":"nand","mechanism":["Use two series nMOS devices for the path from output to ground.","Use the complementary parallel pMOS network for the path toward the supply.","Evaluate input combinations: only two high inputs complete the pull-down condition."],"misconception":"NAND universality means networks can express any Boolean function; it does not mean one NAND gate performs every computation.","check":{"question":"When is a two-input NAND output zero?","options":["Only when both inputs are one","Whenever either input is zero","For all input combinations"],"answer":0,"explanation":"The series pull-down devices conduct together for the two-high case, implementing NOT(A AND B)."},"branch":"Digital circuits","subbranch":"Combinational logic","science":[{"title":"Boolean function from topology","equation":"Y = ¬(A ∧ B)","explanation":"Series pull-down devices implement the requirement that both inputs be high. Their complementary parallel pull-up network produces the opposite output state.","assumptions":"Ideal logic values within valid input/output voltage ranges; real transition timing and analog current are omitted."}],"history":[],"prerequisites":["inverter"],"learningObjective":"Use the series pull-down and parallel pull-up networks to construct a two-input NAND truth table.","engineeringExample":"Worked ideal truth table: inputs 00, 01 and 10 each leave at least one pull-up conducting and produce Y = 1. Input 11 enables the complete series pull-down and produces Y = 0. Thus three of the four input combinations produce a high output.","evidenceNotes":"This is ideal Boolean reasoning within valid voltage ranges, using the linked computation-structures treatment. It does not predict transition current, delay or simultaneous conduction.","labId":"library","scope":"Use the switching investigation to connect physical charge, circuit load and arithmetic; the numerical library has no standalone model of this lesson’s full mechanism.","investigationId":"switching","labScope":"Use the switching investigation to connect physical charge, circuit load and arithmetic; the numerical library has no standalone model of this lesson’s full mechanism."}