Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа A формула
ДЕЛ(A, 12) 
(ДЕЛ(530, x)
(
ДЕЛ(A, x)
ДЕЛ(170, x)))
тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)?
Решение программой:
for a in range(1, 1000):
# Переменная - флаг,
# которой присваивается 1, если хотя бы одно выражение выдаёт ложь
f = 0
for x in range(1, 1001):
# Если выражение ложно (нам нужны только истинные),
# то приостанавливаем цикл
if ((a % 12 == 0) and ((530 % x == 0) <= ((a % x != 0) <= (170 % x != 0)))) == False:
f = 1
break
# Так как ищем минимальное значение,
# то сразу же после его нахождения прерываем цикл
if f == 0:
print(a)
break
Получается ответ: 
Ответ: 60