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

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

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

# функция проверяет выполнение выражения для конкретного x и A
def f(x, A):
    # возвращает True, если выражение тождественно истинно для данного x
    return (x & 25 != 0) <= ((x & 17 == 0) <= (x & A != 0))

# перебор возможных значений A от 0 до 9999
for A in range(10000):
    # флаг: True, если выражение ложно хотя бы для одного x
    met_false = False
    for x in range(1000):
        # если выражение ложно для текущего x, ставим флаг
        if not(f(x, A)):
            met_false = True
    # если выражение истинно для всех x, выводим A и завершаем поиск
    if not(met_false):
        print(A)
        break