How to simplify Boolean expression with XOR? If you consider that A XOR B is equivalent to (A AND ~B) OR (~A AND B) then the rest should be easy.