Обозначим через ПОЗ(n,m) функцию, которая возвращает истину, если результат разности (n–m) положительное число или ложь в противном случае. Для какого наибольшего целого неотрицательного числа А формула
¬ПОЗ(x+y,73) ∨ ¬ПОЗ(37,x-y) ∨ ПОЗ(y,A)
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?