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