Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше
Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике
Схемы из логических элементов — классические модели вычислений, хорошо подходящие для изучения отображений между конечными множествами, элементы которых закодированы последовательностями из нулей и единиц.
Рассмотрим булеву алгебру $\mathbf{B}$, порожденную над $\mathbf{F}_{2}$ счетной последовательностью независимых переменных, например $x_{1}, x_{2}, x_{3}, \ldots$ Это алгебра частных $\mathbf{F}_{2}\left[x_{1}, x_{2}, \ldots\right]$ относительно отношений $x_{i}^{2}=x_{i}$. Каждый булевский многочлен определяет функцию на $\bigoplus_{i=1}^{\infty} \mathbf{F}_{2}$ со значениями в $\mathbf{F}_{2}=\{0,1\}$.
Мы начнем со следующего простого факта.
