Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А формула
тождественно истинна, то есть принимает значение 1 при любом значении переменной х.
Решение руками:
Раскроем выражение:
Отрицаем известную часть:
Получаем, что число х должно делится и на 4, и на 6. Это числа 12, 24, 36, 48 и так далее.
Значит, минимальное значение 
.
Решение программой:
for a in range(1, 1000):
c = 0 # флаг
for x in range(1, 1000):
# проверка условия
if (((x % 4 == 0) <= (not(x % 6 == 0))) or (x % a == 0)) == False:
c = 1
break # выход из цикла, если флаг изменился
if c == 0:
print(a) # если флаг не изменился, выводим А
# смотрим на последнее выведенное число. Оно и является ответом
Получаем ответ: 
Ответ: 12