Обозначим через \(ДЕЛ(n, \, m)\) утверждение «натуральное число \(n\) делится без остатка на натуральное число \(m\)». Пусть на числовой прямой дан отрезок \(B~=~[70;~90].\)
Для какого наибольшего натурального числа \(A\) логическое выражение $$ДЕЛ(x, \, A) \lor ((x \in B) \to \neg ДЕЛ(x, \, 22))$$ тождественно истинна (то есть принимает значение \(1\) при любом натуральном значении переменной \(x)?\)
Решение:
Если \(x \notin B,\) то выражение $$(x \in B) \to \neg ДЕЛ(x, \, 22)$$ истинно для любых таких \(x.\) Пусть \(x \in B.\) Тогда $$(x \in B) \to \neg ДЕЛ(x, \, 22) = 0$$ в случае, когда \(x\) делится на \(22.\) Такое число \(x,\) принадлежащее \(B,\) одно — \(88.\) Максимальное число, на которое оно делится — это само число \(88.\)
Ответ: \(88\)
Эффективно готовьтесь к ЕГЭ по информатике с новым тренажёром, эмулирующем работу станции КЕГЭ, которая используется на реальном экзамене