Обозначим через 
поразрядную конъюнкцию неотрицательных целых чисел 
и 
.
Так, например, 
.
Для какого наименьшего неотрицательного целого числа 
формула
тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной 
)?
Решение программой:
def f(x, a):
return ((x & 35 != 0) or (x & 23 != 0)) <= ((x & 26 == 0) or (x & a != 0))
for a in range(0, 300):
p = True
for x in range(0, 300):
if f(x, a) == False:
p = False
break
if p == True:
print(a)
break
Ответ: 26