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

Задача . Задача 9


Задача

Темы:
Обозначим через m & n поразрядную конъюнкцию неотрицательных целых чисел m и n. Например, 14 & 5 = 11102 & 01012 = 01002 = 4. Для какого наименьшего натурального числа А формула
(x & 2735 ≠ 0) → ((x & 1234 = 0) → (x & A ≠ 0))
тождественно истинна, то есть принимает значение 1 при любом натуральном значении переменной х?

 

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

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