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

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

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

# перебор возможных значений A от 10 до 50 включительно
for A in range(10, 50+1):
    # флаг: True - выражение ложно для всех x, False - хотя бы один случай нарушает
    flag = True
    # проверяем выражение для всех x от 0 до 99999
    for x in range(100000):
        f = (((x & 56 != 0) <= (x & 18 != 0)) or (x & A != 0)) <= (
            (x & 18 == 0) and (x & A == 0) and (x & 43 != 0))
        # если выражение оказалось истинным хотя бы для одного x
        if f == 1:
            flag = False
            break
    # если выражение ложно для всех x, обновляем максимальное значение A
    if flag:
        maxim = A

# выводим наибольшее подходящее A
print(maxim)