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

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

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

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

(x· y > A) ∨ (x > y) ∨ (8 > x)

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

Ответ: