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

Задача . Задание 15 (Джобс)


Задача

Темы:
Обозначим ПЛОЩАДЬ(a, b, c) утверждение "Площадь прямоугольника со сторонами a  и b больше c". Найдите наибольшее целое значение A, при котором выражение 
 ¬ПЛОЩАДЬ(x, y, A+13) → ПЛОЩАДЬ(28, y, 520) ∨  ПЛОЩАДЬ(x, 25, 800) тождественно истинно при любых натуральных значениях x и y.
 

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

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