Для какого наибольшего целого неотрицательного числа A логическое выражение
\((x - 245 \geq y) \lor (y > A) \lor (x + y < 86\,422)\)
тождественно истинно (т.е. принимает значение 1) при любых целых положительных x и y?
1000 ms 256 Mb Правила оформления программ и список ошибок при автоматической проверке задач