Законы математической логики

Для какого наибольшего целого неотрицательного числа А формула

(x + y ≤ 30) ∨ (y ≤ x+2) ∨ (y ≥ A)

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