!A || (A && B)