Задание №15: Истинность логических выражений на отрезках и множествах
Основные типы и прототипы задания №15:
Числовые отрезки
Множества натуральных чисел
Поразрядная конъюнкция (&)
Делимость (ДЕЛ)
Условие задания
(А. Богданов) На числовой прямой дан отрезок Q = [29; 47]. Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Определите наименьшее натуральное число A, такое что выражение
(¬ДЕЛ(x, 3) ∧ x ∉ {48, 52, 56}) → ((|x – 50| ≤ 7) → (x ∈ Q)) ∨ (x & A = 0)
тождественно истинна, то есть принимает значение 1 при любом значении переменной х.
Ответ:
8
Шаблон решения на Python
# === Задание 15: Истинность логического выражения (Отрезки / Множества) ===
for a in range(1, 1000):
ok = True
for x in range(1, 1000):
# Подставьте формулу из условия:
f = ((x % 3 == 0) <= (x % 5 != 0)) or (x + a >= 90)
if not f:
ok = False
break
if ok:
print("Минимальное значение A:", a)
break