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

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

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

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