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