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

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

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

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

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

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