Изменения
→Полные системы функций
== Полные системы функций ==
{{Определение
|definition=
{{Определение
|definition=
{{Определение
|definition=
Множество <tex>A</tex> функций алгебры логики называется '''Замкнутым множествомполной системой''' функций называется такое множество, что любая функция алгебры логики, выражаемая если замыкание этого множества совпадает с помощью содержащихся в множестве множеством всех функций, уже содержится в этом множестве.}}
[[Теорема Поста о полной системе функций|Критерий Поста]] формулирует необходимое и достаточное условие полноты системы булевых функций:<br/>
'''Система булевых функций полна тогда и только тогда, когда она не содержится целиком ни в одном из классов <tex>T_0</tex>, <tex>T_1</tex>, <tex>S</tex>, <tex>M</tex>, <tex>L</tex>.'''<br />
