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