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

id 45121 балл

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

Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». На числовой прямой дан отрезок B=[60,80]B = [60,80]. Для какого наименьшего натурального числа AA формула

ДЕЛ(x,A)((xB)  ДЕЛ(x,22))ДЕЛ(x, A) → ( (x ∈ B)\space \lor \spaceДЕЛ(x, 22))

тождественно истинна (то есть принимает значение 1 при любом целом положительном значении переменной xx)?