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

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


Задача

Темы:

Для какого наибольшего целого числа А формула

\( ( (y⋅y \leq A) \rightarrow (y \leq 15) ) \land ( (x \leq 3) \rightarrow (x⋅x < A) )\)

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


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

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