Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m».
Укажите наименьшее целое значение A, для которого формула
(ДЕЛ(108, x) → ¬ДЕЛ(x, y)) ∨ (x + y > 80) ∨ (A − y > x)
тождественно истинна при любых натуральных значениях переменных x и y.
Решение. Приведём решение на языке Python.
for a in range(0,100):
k = 0
for x in range(1,101):
for y in range (1,101):
if ((108 % x == 0) <= (x % y != 0)) or (x + y > 80) or (a - y > x):
k += 1
if k == 10000:
print(a)
break
Ответ: 73.
