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