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