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

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

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

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

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

# Перебор возможных значений A с помощью цикла for
for a in range(1000):
    # Флаг для отслеживания ложных выражений
    flag = 0

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

    # Если ложных выражений не было, выводим наименьшее A
    if flag == 0:
        print(a)
        break