Законы математической логики

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