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

Идея решения:

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

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

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

# Перебор возможных значений A с начала диапазона
for a in range(0, 100):
    # Флаг для проверки, данное A подходит
    flag = True
    # Перебор всех неотрицательных x
    for x in range(0, 10000):
        # Проверяем формулу с использованием операции & для поразрядной конъюнкции
        if (((x & 47 != 0) or (x & 24 != 0)) <= ((x & 29 == 0) <= (x & a != 0))) == False:
            # Сбрасываем цикл, данное A не подходит
            flag = False
            break
    # Если формула истинна для всех x, выводим A и прекращаем поиск
    if flag:
        print(a)
        break