Задание 15 ЕГЭ по информатике

Д. Бахтиевid 835971 балл

Смешанные и авторские прототипы на истинность логического выражение

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

¬DIG(x,28)DIG(x,47)(x>A20)¬DIG(x, 28) \wedge DIG(x, 47) \rightarrow (x > A - 20)

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