!a | a & a & !a
