Xor[ !a, b && c]