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:
- Applichiamo se possibile le leggi di De Morgan
- Proprietà Distributiva
- 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