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

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

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

# перебор возможных значений A от 1 до 299
for a in range(1, 300):
    # переменная-флаг, которой присваивается 1, если хотя бы одно выражение выдаёт ложь
    f = 0
    for x in range(1, 500):
        # проверка истинности формулы для текущего x и A
        if ((x & 45 != 0) <= ((x & 9 == 0) <= (x & a != 0))) == False:
            f = 1
            break
    # если формула выполняется для всех x, выводим найденное минимальное A и прекращаем цикл
    if f == 0:
        print(a)
        break