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

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


Задача

Темы:

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

\(((x \& 156 \neq 0) \lor (x \& 436 \neq 0)) \rightarrow (x \& А \> 0)\)

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


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

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