Обозначим через \(ДЕЛ(n, \, m)\) утверждение «натуральное число \(n\) делится без остатка на натуральное число \(m\)». Для какого наименьшего натурального числа \(A\) формула $$(ДЕЛ(x, \, 45) \land \neg ДЕЛ(x, \, 15)) \to \neg ДЕЛ(x, \, A)$$ тождественно истинна (то есть принимает значение \(1\) при любом натуральном значении переменной \(x)?\)
Решение:
$$(x \vdots 45 \land \overline{x \vdots 15}) \to \overline{x \vdots A} = x \vdots 15 \lor \overline{x \vdots 45} \lor \overline{x \vdots A} = (x \vdots 3 \land x \vdots 5) \lor \overline{x \vdots 9 \land x \vdots 5 \land x \vdots A} = (x \vdots 3 \land x \vdots 5) \lor \overline{x \vdots 3 \land x \vdots 5} \lor \overline{x \vdots 9} \lor \overline{x \vdots A} = 1$$ Это выражение всегда истинно вне зависимости от значения \(A.\) Поэтому выбираем наименьшее возможное по условию значение \(A = 1.\)
Python
def div(n, m):
return n % m == 0
def expr(x, A):
return (div(x, 45) and (not div(x, 15))) <= (not div(x, A))
for A in range(1, 200):
if all(expr(x, A) for x in range(1, 1000)):
print(A)
break
Ответ: \(1\)
Эффективно готовьтесь к ЕГЭ по информатике с новым тренажёром, эмулирующем работу станции КЕГЭ, которая используется на реальном экзамене