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