Si puo' cercare di ottenere exp1 = exp2 utilizzando gli assiomi
della teoria delle algebre booleane.
Oppure, visto che quella che stiamo dimostrando e' una proprieta'
dell'algebra booleana minimale, possiamo piu' semplicemente
controllare se per ogni possibile assegnamento (0 o 1) delle variabili
che formano exp1 e exp2, l'uguaglianza e' soddisfatta.
Altra possibilita' e' dimostrare in uno dei modi sopra la proprieta'
duale di exp1 = exp2, ottenuta sostituendo 0 con 1, 1 con 0, la somma
con il prodotto e il prodotto con la somma.