Обозначим через \(m\&n\) поразрядную конъюнкцию неотрицательных целых чисел \(m\) и \(n\).
Так, например, \(14\&5 = 1110_2\&0101_2 = 0100_2 = 4\).
Для какого наименьшего целого числа \(А\) формула
\[x\&17=0 \rightarrow (x\&33 \neq 0 \rightarrow x\&A \neq 0)\]
тождественно истинна (т. е. принимает значение 1 при любом неотрицательном целом значении переменной \(x\))?
Преобразуем выражение к виду \(Z_{17}Z_A \rightarrow Z_{33}\) с помощью законов де Моргана:
\[(x\&17\neq0) \vee (x\&33=0) \vee (x\&A\neq0)\] \[(x\&17\neq0) \vee (x\&A\neq0) \vee (x\&33=0)\] \[(x\&17=0 \wedge x\&A=0) \rightarrow (x\&33=0)\]
Для того, чтобы выражение вида \(Z_{17}Z_A \rightarrow Z_{33}\) являлось истинным, единичные биты, стоящие в правой части, должны являться единичными битами левой.
Запишем числа 17 и 33 в двоичной системе счисления:
\(33_{10}=100001_2\) – правая часть
\(17_{10}=010001_2\) – левая часть
Значит, \(A\) обязательно должно содержать в себе единицу в пятом разряде. Так как ищем наименьшее \(A\), наш ответ \(100000_2=32_{10}\).
Ответ: 32