Изменения

Если любая [[Определение булевой функции|булева функция]], являющаяся [[Суперпозиции|суперпозицией]] функций некоторого множества, принадлежит этому множеству, то такое множество называют '''замкнутым'''(англ. ''closed set'').}}

'''Замыканием''' (англ. ''сlosure'') множества функций называется такое подмножество всех булевых функций, что любую из этих функций можно выразить через функции исходного множества.}}

Множество булевых функций называется '''полной системой'''(англ. ''complete set''), если замыкание этого множества совпадает с множеством всех функций.}}

Полная система функций называется '''безызбыточной'''(англ. ''irredundant functions''), если она перестает быть полной при исключении из неё любого элемента.

* Функции, сохраняющие константу <mathTex>T_0</mathTex> и <mathTex>T_1</mathTex>;* Самодвойственные Самодвойственныые функции <mathTex>S</mathTex>;* Монотонные функции <mathTex>M</mathTex>;* Линейные функции <mathTex>L</mathTex>.