Алгоритм решения задания 15. Часть 4
Учимся решать 15 задания четвёртого типа
Читать
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m».
Для какого наименьшего натурального числа A логическое выражение (ДЕЛ(x, 13) → ¬ ДЕЛ(x, 21)) ∨ (x + A ≥ 500) истинно (т.е. принимает значение 1) при любом целом положительном значении переменной x?
Правильный ответ:
227
def f(x, A):
return ((x % 13 == 0) <= (x % 21 != 0)) or (x + A >= 500)
for A in range(1, 500):
if all(f(x, A) for x in range(1, 500)):
print(A)
break
