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

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