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

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

(¬ЦИФ(x, 5) ∧ ЦИФ(x, 4)) → (x > A - 11)

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