Обозначим через ДЕЛ() утверждение «натуральное число делится без остатка на натуральное число ». Для какого наименьшего натурального числа формула
(ДЕЛ(x, 20) → ¬ДЕЛ(x, 11)) ∨ (x + A >= 300)
тождественно истинна (т.е. принимает значение 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 % 20 == 0) <= (x % 11 != 0)) or (x+a >= 300)) == 0:
t = 0
break
if t == 1:
b.append(a)
print(min(b))Ответ: 80
Ответ:
80