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

Для нахождения наименьшего неотрицательного числа , при котором выражение

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

# функция проверяет выполнение выражения для конкретного x и a
def f(a):
    # возвращает True, если выражение тождественно истинно для данного x
    for x in range(1, 1000):
        if ((x & 144 == 0) <= ((x & 220 != 0) <= (x & a != 0))) == 0:
            return False
    return True

# перебор возможных значений a от 0 до 999
for a in range(1000):
    # если выражение истинно для всех x, выводим a и прекращаем поиск
    if f(a):
        print(a)
        break