Для какого наименьшего целого неотрицательного числа A выражение (x + 2y < A) / (y > x) / (x > 60) тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?

Рассмотрим выражение:   (x + 2y A) ∨ (y x) ∨ (x 60) Наша цель – найти наименьшее неотрицательное целое число A такое, что для всех целых неотрицательных x и y хотя бы одно из трёх соображений (условий) истинно. Обратите внимание, что дизъюнкция (логическое или) истинна, если хотя бы одно из условий истинно. Чтобы убедиться, что выражение тождественно истинно при любых x ≥ 0 и y ≥ 0, рассмотрим противоположный (наихудший) случай – когда второе условие (y x) и третье условие (x 60) ложны. В этом случае должны быть выполнены следующие неравенства...