Обозначим через m&n поразрядную конъюнкцию неотрицательных целых
Приведём решение Бориса Савельева на языке Python.
m = []
for a in range (0,20000):
count = 0
for x in range (0,100000):
if (((x&6280) > 0) or ((x&3394) > 0)) <= (((x&10828) == 0) <=((x&a) > 0)):
count += 1
else:
break
if count == 100000:
m.append(a)
print(min(m))
Ответ: 5506.
Приведём решение Сергея Донец на PascalABC.NET:
begin
(0..13000).Where(A->(0..13000).all(x->
((x and 6280>0)or(x and 3394>0))<=(x and 10828=0<=(x and A>0))
)).First.Print;
end.