-  Tabella di Verita'
-  Mappa di Karnaugh

- Binary Decisional Diagram (Bdd)

- Moltiplicatoria

      P3 (0,4,6,7)

- Sommatoria
    e3 (1,2,3,5)
- Forma canonica congiuntiva
   (a + b + c) (a' + b + c) (a' + b' + c) (a' + b' + c')

- Forma canonica disgiuntiva
  (a' b' c) + (a' b c') + (a' b c) + (a b' c)

- Schema circuitale