Задания
Версия для печати и копирования в MS Word
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Задан отрезок B = [30; 40]. Определите минимальное количество элементов множества A при котором формула
(x ∈ A) ∨ (ДЕЛ(x, 12) → (x ∉ B))
тождественно истинна (т. е. принимает значение 1) при любом целом положительном значении переменной x?
Решение.
Приведём решение на языке Python.
b = list(range(30, 40))
otv = []
for a in range(1000, 0, -1):
count = 0
flag = 1
for x in range(1, 1000):
if not ((x % a == 0) or ((x % 12 ==0) <= ((x not in b)))):
flag = 0
break
if flag:
count += 1
if count > 0:
otv.append(count)
print(min(otv))
Ответ:1.