Universality of NAND & NOR gates

Bubble-bubble matching: alternate symbols formed by changing shape, and adding/removing bubbles

Half-adder:

• Sum = A ⊕ B = A’B + AB’
• Carry = AB