Задание 15. Информатика. ЕГЭ. Статград. 28.01.2025-1
- Просмотры: 705
- Изменено: 2 февраля 2025
Обозначим через \(m\&n\) поразрядную конъюнкцию неотрицательных целых чисел \(m\) и \(n.\) Например, \(14 \& 5 = 1110_2 \& 0101_2 = 0100_2 = 4.\) Для какого наименьшего неотрицательного целого числа \(А\) формула $$(x \& 5160 > 0 \lor x \& 3650 > 0) \to (x \& 9545 = 0 \to x \& А > 0)$$ тождественно истинна (т. е. принимает значение \(1\) при любом неотрицательном целом значении переменной \(x\))?
Решение:
Python
def expr(x, A):
return ((x & 5160) > 0 or (x & 3650) > 0) <= (((x & 9545) == 0) <= ((x & A) > 0))
for A in range(10000):
if all(expr(x, A) for x in range(100_000)):
print(A)
break
Ответ: \(6690\)