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

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

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

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

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