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