Обозначим через 
поразрядную конъюнкцию неотрицательных целых чисел 
и 
. Например, 
.
Для какого наименьшего целого числа 
формула
тождественно истинна (т. е. принимает значение 
при любом неотрицательном целом значении переменной 
)?
Решение программой:
def f(a):
# если отрицание формулы возвращает истину,
# то сама формула возвращает ложь
for x in range(1000):
if not((x & 85 == 0) <= ((x & 54 != 0) <= (x & a != 0))):
return False
return True
for a in range(1000):
if f(a):
print(a)
break
Ответ: 34