[-Ivan-]

Scusate ma cercando su internet si trovano solo le proprietà degli and, gli or, i not ma niente sugli exor.
Qualcuno mi sa dire se c'è qualche proprietà particolare per questi operatori?

esempio:
1)not(ab) exor b fa qualcosa?
2)not(ab) exor (not(ab) exor b)?

Io fino ad adesso ho sempre basato tutto sul fatto che a exor b fa not(a)*b+a*not(b) ma possibile non ci siano altre semplificazioni, trasformare ogni volta funzioni abbastanza lunghe diventa veramente dispersivo?