En el álgebra de Boole, tienes varios postulados, dónde indíca que un número a y ā, siendo opuestos, se pueden operar de cierta forma.

Y se puede relacionar con la fórmula:

Aún no comprobé todas, pero pueden intentarlo y ver si alguno de los axiomas no pega con la fórmula.