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

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

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

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

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

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

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

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