Преобразование логических выражений — задача ЕГЭ по информатике

Условие, ответ и разбор задачи

Преобразование логических выраженийФИПИ

Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 14&5 = 111021110_{2}&010120101_{2} = 010020100_{2} = 4.

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

x&51 = 0 ∨ (x&11 = 0 → x&А ≠ 0)

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

Ответ: