Задания
Версия для печати и копирования в MS Word
Тип 15 № 75252
i

Обо­зна­чим через m&n по­раз­ряд­ную конъ­юнк­цию не­от­ри­ца­тель­ных целых чисел m и n. На­при­мер, 14&5  =  11102&01012  =  01002  =  4. Для ка­ко­го наи­мень­ше­го не­от­ри­ца­тель­но­го це­ло­го числа А фор­му­ла

(x&5160 > 0 ∨ x&3650 > 0) → (x&9545 = 0 → x&A > 0)

тож­де­ствен­но ис­тин­на (т. е. при­ни­ма­ет зна­че­ние 1 при любом не­от­ри­ца­тель­ном целом зна­че­нии пе­ре­мен­ной х)?
Спрятать решение

Ре­ше­ние.

При­ведём ре­ше­ние на языке Python.

def f(x,a):

return ((x&5160 > 0) or (x&3650>0)) <= ((x&9545 == 0) <= (x&a >0))

 

for a in range(10**5):

if all(f(i,a) for i in range(10**5)):

print(a)

break

 

Ответ: 6690.


Аналоги к заданию № 75252: 75279 Все