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