Not zero, not both. The rule that picks out "these two disagree". Build an XOR gate — and meet the gate every adder is hiding.
OR was "at least one". XOR is "exactly one": on when the inputs differ, off when they agree. Flip that around and you get XNOR — the equality check.
Why is XOR such a big deal?
0+0=0, 0+1=1, 1+0=1, and
1+1=0 (with a carry). That last case is where XOR earns its keep.Wire two Levers (labeled Input A and Input B) into an XOR gate. Send the XOR's output to a Lamp labeled Output. Compare this truth table to the OR gate from lesson 3 — they disagree on exactly one row (both-inputs-on). That tiny difference is why XOR needs more internal gates than OR does.
In the redstone patterns library (/redstone/xor) you can see the
actual Minecraft build — four torches, not two. XOR is the priciest of
the two-input gates. Worth it.