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

Экзамен прошлых летid 45291 балл

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

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

ДЕЛ(x,A)((xB)ДЕЛ(x,22))ДЕЛ(x, A) →((x ∈B) ∨ДЕЛ(x, 22))

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