Е15.34 формула x & 85 = 0 → (x & 54 ≠ 0 → x & А ≠ 0) тождественно истинна

Обозначим через m & n поразрядную конъюнкцию неотрицательных целых чисел m и n. Например, 14 & 5 = 1110₂ & 0101₂ = 0100₂ = 4.
Для какого наименьшего неотрицательного целого числа А формула
x & 85 = 0 → (x & 54 ≠ 0 → x & А ≠ 0)
тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной х)?

Ответ:

Источник: СтатГрад Вариант ИН2110101 27.10.2021– задание №15