Для какого наибольшего целого неотрицательного числа \(A\) выражение
\((9x - 4y \ne 23\,457) \lor (A < x) \lor (A < y) \lor (2x + 5y < 15\,000)\)
тождественно истинно, то есть принимает значение \(1\) при любых целых неотрицательных \(x\) и \(y\)?
500 ms 256 Mb Правила оформления программ и список ошибок при автоматической проверке задач