Задание 15 ЕГЭ по информатике

Обозначим через $m \& n$ поразрядную конъюнкцию неотрицательных целых чисел $m$ и $n$. Так, например, $14\&5=1110_{2}\&0101_2=0100_2=4$. Для какого наибольшего неотрицательного целого числа $A$ формула

$(x\&A ≠ 0) → (((x\&17 = 0) \land (x\&5 = 0))→ (x\&3 ≠ 0))$

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