Задание

Введём выражение M & K, обозначающее поразрядную конъюнкцию M и K (логическое «И» между соответствующими битами двоичной записи). Определите наибольшее натуральное число А, такое что выражение

(x & А ≠ 0 ) → ((x & 20 = 0) → (x & 5 ≠ 0))

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