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

Мы ищем наименьшее число A (целое неотрицательное), такое что для любых неотрицательных целых x и y хотя бы одно из трёх утверждений выполняется:   1) x + 2y A   2) y x   3) x 60 Другими словами, если рассмотреть ситуацию, когда ни одно из утверждений не выполняется, то такого (x, y) быть не должно. Шаг 1. Запишем, что значит, что ни одно из утверждений не выполняется:   – Отрицание (1): x + 2y ≥ A   – Отрицание (2): y ≤ x   – Отрицание (3): x ≤ 60 То есть, потенциальный контрпример – пара (x, y), удовлетворяющая:   (1) x + 2y ≥ A, ...