Lab 4 of 10 · rank 03
Inputs A, B. Outputs S (sum) and C (carry). S is XOR, C is AND.
Learn first
In binary, 1 + 1 isn't 2 — it's 10 (one-zero): the sum bit is 0 and a 1 carries over to the next column, just like 7 + 5 = 12 carries a 1 in decimal.
The sum bit is XOR of the inputs (lab 3). The carry is AND of the inputs (lab 2). Put the two side by side and you have a half adder.
Build XOR from A and B for output S. Build AND from the same A and B for output C. Two outputs, one circuit. Check: 1 + 1 gives S=0, C=1.
Turn logic into a permanent, verifiable part.
XOR for S, AND for C. Or a single HA macro.
Par is 5 NAND. Using more still passes; fewer is just neater.
One grant per lab per wallet, materials only — WFR is earned by mining verified dies, never given away. The server re-checks your circuit before signing.
Turn this circuit into a verified die you own. It burns 0 NAND — the grant covers it.