Un’espressione booleana è definita su un insieme di variabili booleane, .
A un’espressione corrisponde una sola funzione, mentre ad una funzione possono corrispondere più espressioni.
Due funzioni si dicono equivalenti se:
- Operano sulle stesse variabili.
- Corrispondono alla stessa funzione.
Se due funzioni sono equivalenti si indicherà così:
Quando vogliamo lavorare su delle espressioni la cosa migliore sarebbe avere delle espressioni il più piccole possibile. Alcune di queste forme di partenza si chiamano forme canoniche.