Ci sono due forme normali:

  • SoP sums of products: (forma normale disgiuntiva) rete AND to OR
  • PoS produtcts of sums: (forma normale congiuntiva) rete OR to AND Per raggiungere queste forme:
  1. Applichiamo se possibile le leggi di De Morgan
  2. Proprietà Distributiva
  3. Eliminiamo termini ridondanti o ripetuti Una forma normale non per forza è la minima ma la prima che incontriamo va bene

In questo caso otteniamo una forma sia SoP che PoS