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