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

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

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

# перебор возможных значений A от 999 до 2 включительно
for A in range(1000, 1, -1):
    # флаг: True - выражение ложно для всех x, False - хотя бы один случай нарушает
    p = True
    # проверяем выражение для всех x от 1 до 999
    for x in range(1, 1000):
        f = (x & A != 0) and (x & 48 == 0) and (x & 27 == 0)
        # если выражение оказалось истинным хотя бы для одного x
        if f == True:
            p = False
            break
    # если выражение ложно для всех x, выводим текущее A и прекращаем перебор
    if p == True:
        print(A)
        break