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

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

def f(a):
    # если отрицание формулы возвращает истину,
    # то сама формула возвращает ложь
    for x in range(1000):
        if not((x & a != 0) <= ((x & 14 == 0) <= (x & 3 != 0))):
            return False
    return True

for a in range(1000, 1, -1):
    if f(a):
        print(a)
        break