15.04 Побитовая конъюнкция

Для нахождения наименьшего натурального числа , при котором выражение

тождественно истинно для всех неотрицательных целых , используем программный перебор. Идея заключается в том, чтобы проверить все значения от до . Для каждого перебираем все значения от до и вычисляем логическое выражение формулы. Если хотя бы для одного формула ложна, текущее отбрасываем. Если формула истинна для всех , выводим найденное . Поскольку ищем наименьшее значение, цикл прекращается при первом найденном подходящем .

# перебор возможных значений A от 1 до 99
for a in range(1, 100):
     # переменная-флаг, отслеживающая наличие ложных выражений
     f = 0
     for x in range(1500):
         # проверка истинности формулы для текущего X и A
         if (((x&15 != 0) and (x&64 != 0)) <= ((x&a != 0) and (x&15 != 0))) == False:
             f = 1
             break
     # если формула выполняется для всех X, выводим найденное минимальное A и прекращаем цикл
     if f == 0:
         print(a)
         break