Обозначим через 
поразрядную конъюнкцию неотрицательных целых чисел 
и 
.
Так, например, 
.
Для какого наибольшего целого числа 
формула
тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной 
)?
Решение программой:
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
Ответ: 15