Обозначим через поразрядную конъюнкцию неотрицательных целых чисел
и
. Например,
.
Для какого наименьшего целого числа формула
тождественно истинна (т. е. принимает значение при любом неотрицательном целом значении переменной
)?
for A in range(1000):
p = True
for x in range(1000):
f = (x & 105 == 0) <= ((x & 58 != 0) <= (x & A != 0))
if f == False:
p = False
break
if p == True:
print(A)
break
Ответ: 18