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

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


Задача

Темы:

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

\( (156 \neq 4y + x^{2} + 3z) \lor (A < 8x^{2}) \lor (A < y) \lor (A < 4z)\)

истинно при любых целых неотрицательных x, y, z?


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

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