Обозначим через \(m \, \& \, n\) поразрядную конъюнкцию неотрицательных целых чисел \(m\) и \(n.\) Так, например, \(14 \, \& \, 5 = 1110_2 \, \& \, 0101_2 = 0100_2 = 4.\) Для какого наименьшего неотрицательного целого числа \(A\) формула $$(x \, \& \, 25 \neq 0) \to ((x \, \& \, 17 = 0) \to (x \, \& \, A \neq 0))$$ тождественно истинна (т.е. принимает значение \(1\) при любом неотрицательном целом значении переменной \(х)?\)
Решение:
Python
def expr(x, A):
x25 = x & 25 != 0
x17 = x & 17 == 0
xA = x & A != 0
return x25 <= (x17 <= xA)
for A in range(1, 1000001):
if all(expr(x, A) for x in range(1, 10000)):
print(A)
break
Ответ: \(8\)
Эффективно готовьтесь к ЕГЭ по информатике с новым тренажёром, эмулирующем работу станции КЕГЭ, которая используется на реальном экзамене