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

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

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

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

# функция проверяет выполнение формулы для конкретного x и a
def f(x, a):
    return ((x & 35 != 0) or (x & 23 != 0)) <= ((x & 26 == 0) or (x & a != 0))

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