Введём выражение M &, K, обозначающее поразрядную конъюнкцию M и K (логическое «И» между соответствующими битами двоичной записи). Определите наибольшее натуральное число A из интервала [43, 55] такое, что выражение
((x &, 17 ≠ 0) → ((x &, A ≠ 0) → (x &, 58 ≠ 0))) → ((x &, 8 = 0) ∧ (x &, A ≠ 0) ∧ (x &, 58 = 0))
тождественно ложно (то есть принимает значение 0 при любом натуральном значении переменной x)?