Задача . L2-T5. Поразрядная конъюнкция: наименьшее A (два критических бита)

Обозначим через m & n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 14 & 5 = 1110₂ & 0101₂ = 0100₂ = 4.

Для какого наименьшего неотрицательного целого числа A логическое выражение

(x & {1} ≠ 0) → ((x & {2} = 0) → (x & A ≠ 0))

истинно (т.е. принимает значение 1) при любом неотрицательном целом значении переменной x?