Для какого наибольшего целого неотрицательного числа A выражение
\((2x + y \neq 40000) \lor (x \leq y) \lor (x > A)\)
тождественно истинно при любых целых неотрицательных x и y?
500 ms 256 Mb Правила оформления программ и список ошибок при автоматической проверке задач