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