(А. Рогов) Обозначим через n | m поразрядную дизъюнкцию неотрицательных целых чисел n и m. Так, например, 12 | 6 = 11002 | 01102 = 11102 = 14. Для какого наименьшего неотрицательного целого числа А выражение
\((x | 42 > 64) \land (x | 34 \leq 102) \rightarrow \lnot (x | А < 70)\)
тождественно истинно, то есть принимает значение 1 при любом натуральном значении переменной х?