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

\(y \+ 2x ≠ 48\) ∨ \(A \\lt x\) ∨ \(x \\lt y\)

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