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