Обозначим через ДЕЛ() утверждение «натуральное число делится без остатка на натуральное число .»
Для какого наименьшего натурального числа формула
(ДЕЛ(x, 13) → ¬ДЕЛ(x, 21)) ∨ (x + A > 500)
тождественно истинна (т. е. принимает значение 1) при любом натуральном значении переменной ?
Решение:
Решение на Python:
b = []
for a in range(1, 300):
t = 1
for x in range(1, 300):
for y in range(1, 300):
if (((x % 13 == 0) <= (x % 21 != 0)) or (x+a >= 500)) == 0:
t = 0
break
if t == 1:
b.append(a)
print(min(b))Ответ: 227
Ответ:
227