Задание

Обозначим через m & n поразрядную конъюнкцию неотрицательных целых чисел m и n.

Так, например, 14 & 5  =  11102 & 01012  =  01002  =  4. Для какого наибольшего целого числа А формула

x & 7 = 0 ∨ (x & 13 = 0 → x & А = 0)

тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной x)?