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