Deriving the output function

  1. Derive in terms of the output function (working backwards from output)
  2. Derive in terms of the input gates (working forwards from inputs)
  • May be useful to rewrite gates in terms of their NAND / NOR forms
    • Double bubbles cancel each other out

Derivation from inputs

Conversion of $P_4$ from NOR to AND(NOT,NOT)