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