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

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

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

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

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

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