01
Basic gates
AND requires all inputs high; OR requires at least one; NOT inverts. XOR is high for unequal inputs and XNOR for equal inputs.
02
NAND and NOR
NAND=NOT(AND) and NOR=NOT(OR). Each is functionally complete: one gate type can build NOT, AND, and OR, and therefore any Boolean function.
Build it yourself: NAND from NOR · XOR from NAND
03
De Morgan's laws
NOT(A AND B)=(NOT A) OR (NOT B); NOT(A OR B)=(NOT A) AND (NOT B). Moving inversion through a gate swaps AND and OR.
04
Truth tables as proof
For two inputs list 00, 01, 10, and 11. Comparing every row is a reliable way to prove two expressions or circuits equivalent.
Build it yourself: OR from NAND
05
Combinational circuits
An ideal output depends only on current inputs. Feedback and memory make a circuit sequential.
06
Propagation delay and critical path
A gate does not update instantly. Worst-case delay is the sum of delays along the longest causal path—the critical path.
SELF-CHECK
Check your understanding
When is XOR=1?
When inputs differ.
Is XNOR universal?
No, not by itself.
Name the universal gates.
NAND and NOR.
What does the critical path determine?
Worst-case propagation delay.