Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n.
Так, например, 12&6 = 11002&01102 = 01002 = 4.
Для какого наибольшего целого числа А формула
х&А → (x&10 = 0 → х&3
)
тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной x)?