not_A = (A+B+C) == 0 || (A+B+C) == 1 && (B || C) || (A+B+C) == 2 && B && C Дальше подсказывать не буду.