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

Решение программой:

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

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

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

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