Е15.8 формула x&51 = 0 ∨ (x&41 = 0 → x&А ≠ 0) тождественно истинна

формула x&51 = 0 ∨ (x&41 = 0 → x&А ≠ 0) тождественно истинна

Демонстрационный вариант ЕГЭ 2017 г. – задание №18

Обозначим через m&n поразрядную конъюнкцию неотрицательных целых чисел m и n. Так, например, 14&5 = 11102&01012 = 01002 = 4. Для какого наименьшего неотрицательного целого числа А формула

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

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