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

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

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

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