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

(А.Богданов) Обозначим через ПОЗ(n,m) функцию, которая возвращает истину, если результат разности (n–m) положительное число или ложь в противном случае. Для какого наибольшего целого неотрицательного числа А формула

¬ПОЗ(x+y,73) ∨ ¬ПОЗ(37,x-y) ∨ ПОЗ(y,A)

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