Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел тип. Так, например, 12&6 = 1100₂&0110₂ = 0100₂ = 4.

Для какого наибольшего неотрицательного целого числа А формула

х&А ≠ 0 → (х&10 = 0 → х& 3 ≠ 0)

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