Пусть через ДЕЛ(m, n) обозначается утверждение «натуральное число m делится без остатка на натуральное число m»; через СУММБОЛ(k, p) –утверждение «сумма целых чисел k и p больше 0».
Для какого наименьшего натурального числа А формула
(ДЕЛ(x, 13) 
СУММБОЛ(x, 25)) 
(x + A 
245)
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной х?
Программное решение:
for a in range(1, 500):
f = True
for x in range(1, 240):
if not (((x % 13 == 0) <= (not x + 25 > 0)) or x + a >= 245):
f = False
break
if f:
print(a)
break
Ответ: 232