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