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

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

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

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

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

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