Информатика (Преобразование логических выражений)



Вопрос 18

Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n.

Так, например, 12&6 = 11002&01102 = 01002 = 4.

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

 

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

 

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