Задача #905
Логические выражения
(Л. Шастин) Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 14&5 = 11102&01012 = 01002 = 4. Для какого наименьшего неотрицательного целого числа А формула
x&29 = 0 ∨ (x&11 = 0 → ¬(x&А = 0))
истинна при всех целых значениях переменной х ∈ [15; 30] ?
Войдите, чтобы история ответов и статистика сохранялись.
Решение
Ответ
16