Преобразование логических выражений — задача ЕГЭ по информатике

Условие, ответ и разбор задачи

Преобразование логических выраженийФИПИ КЭС 2.7ФИПИ

Для какого наибольшего целого неотрицательного числа A выражение

(y + 3x > A) ∨ (x < 20) ∨ (y < 20)

тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?

Ответ: