ЕГЭ информатика программировние

Введём выражение M & K, обозначающее поразрядную конъюнкцию M и K (логическое «И» между соответствующими битами двоичной записи). Определите наибольшее натуральное число A, такое что выражение
(X & A ≠ 0) → ((X & 30 = 0) → (X & 20 ≠ 0))
тождественно истинно (то есть принимает значение 1 при любом натуральном значении переменной X)?