Обозначим через
m&n поразрядную конъюнкцию неотрицательных целых чисел
m и
n.
Например, 14&5 = 1110
2&0101
2 = 0100
2 = 4.
Для какого наименьшего неотрицательного целого числа
А формула
(x&116 ≠ 0 ∨ x&92 ≠ 0) → (x&69 = 0 → x&А ≠ 0)
тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной
х)?