[! (a && ! b) && !!(b && ! a)] xnor [b && !a]