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

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

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

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

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

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