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

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

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

# функция проверяет выполнение выражения для конкретного a и всех x
def f(a):
    for x in range(1, 1000):
        # если выражение ложно для текущего x, возвращаем False
        if ((x & 125 != 1) or ((x & 34 == 2) <= (x & a == 0))) == 0:
            return False
    # если для всех x выражение истинно, возвращаем True
    return True

# перебор возможных значений a от 1 до 999
for a in range(1, 1000):
    # если текущий a удовлетворяет условию, выводим его и прекращаем поиск
    if f(a):
        print(a)
        break