Модуль: USE-2022. Question 15. Sets and logic

Задача

Let's introduce the expression M & K, denoting the bitwise conjunction of M and K (logical AND between the corresponding bits of the binary notation). Determine the largest natural number A such that the expression
(X & A ≠ 0) → ((X & 56 = 0)  →  (X & 20 ≠ 0))
is identically true (that is, takes on the value 1 for any natural value of the variable X)?