Модуль: 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 & 37 ≠ 0) /\ (X & 43 ≠ 0))   \/  ((X & A = 0) /\ (X & 43 = 0))
is identically true (that is, takes on the value 1 for any natural value of the variable X)?