Олимпиадный тренинг

Задача . кп15-554


Задача

Темы:

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

\(((x \& 7653 \neq 0) \lor (x \& 9751 \neq 0)) \rightarrow (x \& А \> 0)\)

тождественно истинна, то есть принимает значение 1 при любом неотрицательном значении переменной х?


time 500 ms
memory 256 Mb
Правила оформления программ и список ошибок при автоматической проверке задач

Статистика успешных решений по компиляторам
Комментарий учителя