Для какого наибольшего целого неотрицательного числа \(A\) выражение
\((7x + 11y \ne 85\,316) \lor (A < x) \lor (A < y) \lor (x + y > 9\,500)\)
тождественно истинно, то есть принимает значение \(1\) при любых целых неотрицательных \(x\) и \(y\)?
500 ms 256 Mb Правила оформления программ и список ошибок при автоматической проверке задач