xor(p,q) = (p ∨q) ∧(¬( p ∧q ))
slide
:
The interpretation of change