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

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

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

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