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