Изменения

Пусть есть булева функция от <tex> n </tex> аргументов <tex> f : \lbrace0, 1\rbrace^n \rightarrow \lbrace0, 1\rbrace </tex> и набор из <tex> n </tex> булевых функций <tex> g_1 \dotsc g_n </tex>, таких что <tex> g_i :\lbrace0, 1\rbrace^{m_i} \rightarrow \lbrace0, 1\rbrace </tex>. Тогда системой булевых функций называется функция <tex> S </tex> от всех аргументовнабора функций <tex> g_i</tex>, которая определяется как  <tex> S ( x_{11},\dotsc, x_{1(m_1)}, x_{21}, \dotsc, x_{2(m_2)}</tex><tex>, \dotsc, x_{n1}, \dotsc, x_{n(m_n)})</tex><tex>=f(g_1(x_{11},\dotsc,x_{1(m_1)}),g_2(x_{21},\dotsc,x_{2(m_2}),\dotsc,g_n(x_{n1},\dotsc,x_{n(m_n)}))</tex>