Обозначим через m&n поразрядную конъюнкцию неотрицательных целых
Приведём решение на языке Python.
for a in range(0, 300):
flag = True
for x in range(0, 1000):
if not(((x & 52 != 0) and (x & 48 == 0)) <= (not(x & a == 0))):
flag = False
if flag == True:
print(a)
break
Ответ: 4.
Приведём решение Ксении Ельцовой на языке Python.
def f(x,a):
return ((x&52!=0)and(x&48==0))<=(x&a!=0)
for a in range(1,1000):
if all(f(x,a)==1 for x in range(1,1000)):
print(a)
break
Приведём решение Сергея Донец на PascalABC.NET:
begin
(0..111).Where(A->(0..111).all(x->
((x and 52<>0)and(x and 48=0)<=not(x and A=0))
)).first.Print;
end.