(A && B || !A && !B) && C