Actually, not bad idea. This one reminds me about Zhegalkin polynomial ( https://en.wikipedia.org/wiki/Zhegalkin_polynomial ), a way to express all boolean functions with minimally sufficient basis: AND and XOR. Such minimal and invariant constructs have some nice properties useful in some class of applications.