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

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