Олимпиадный тренинг

Задача . кп15-426


Задача

Темы:

(А. Богданов) Для какого наибольшего целого неотрицательного числа А выражение

\((2y + x \neq 70) \lor (x < y) \lor (A < x)\)

тождественно истинно, то есть принимает значение 1 при любых целых неотрицательных x и y?


time 500 ms
memory 256 Mb
Правила оформления программ и список ошибок при автоматической проверке задач

Статистика успешных решений по компиляторам
Комментарий учителя