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

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

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

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

(x≥12) ∨ (3x < y) ∨ (xy <A)

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

Ответ: