Revision notes
AND gives 1 only if every input is 1; OR gives 1 if any input is 1; NOT inverts. NAND and NOR are universal gates: any circuit can be built from either alone. De Morgan: $\overline{A + B} = \overline{A}\cdot\overline{B}$.