Задание №14387

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

(12 ≥ x) \/ (3x < y) \/ (xy < A)

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