Что нужно понимать
Задача обычно просит подобрать параметр A так, чтобы логическое выражение было истинно для всех допустимых x. Ключ — найти, при каких x выражение могло бы стать ложным.
Для всех x
Нужно исключить каждый контрпример, а не проверить несколько удобных значений.
Импликация
P→Q ложна только когда P истинно, а Q ложно.
Побитовое И
Условие вида x & A = 0 анализируется по двоичным разрядам.
Ключевая идея
Для отрезков удобно рисовать числовую прямую. Для побитовых условий — выписывать только значимые биты параметра.