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