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

\(x \+ y ≤ 24\) ∨ \(y ≤ x \+ 7\) ∨ \(y ≥ D\)

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