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

Задача . №15. С ограничением, которое «кусается»


Задача

Темы:

Для какого наибольшего целого неотрицательного числа A логическое выражение

({1}·x + {2}·y ≠ {3}) ∨ (A < x) ∨ (A < y) ∨ ({4}·x + {5}·y > {6})

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


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

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