Для какого наименьшего целого неотрицательного числа А выражение (x A)∨(y > A)∨(y x − 1)∨(y x − 3) тождественно истинна, то есть принимает значение 1 при любых целых неотрицательных x и y?

Для какого наименьшего целого неотрицательного числа А выражение (x A)∨(y > A)∨(y x − 1)∨(y x − 3) тождественно истинна, то есть принимает значение 1 при любых целых неотрицательных x и y?