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

(Д. Бахтиев) Обозначим через DIG(x, y) утверждение «натуральное число x начинается на ту же цифру, что и натуральное число y. Для какого наибольшего натурального числа A логическое выражение

¬DIG(x, 28) ∧ DIG(x, 47) → (x > A - 20)

истинно (т.е. принимает значение 1) при любом натуральном значении переменной x?