Задание

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

14&5 = 11102&01012 = 01002 = 4.

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

((x&17 ≠ 0) ∨ (x&A ≠ 0)) → (x&17 ≠ 0) ∨ ((x&A ≠ 0) ∧ (x&41 = 0))

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