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