Задание

Обозначим через m & n поразрядную конъюнкцию неотрицательных целых чисел m и n.

Так, например, 12 & 6 = 1100 & 0110 = 0100 = 4.

Для какого наименьшего неотрицательного целого числа А формула

(х & 56 ≠ 0) ∧ ¬(х & А ≠ 0 ∨ х & 32 ≠ 0)

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