Обозначим через
m&n поразрядную конъюнкцию неотрицательных целых чисел
m и
n.
Например,
1414&5=11102&01012=01002=4.
Для какого наименьшего неотрицательного целого числа
A формула
(x&42≠0 ∨ x&13≠0) → (x&30=0 → x&A≠0)
тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной
x)?