Изменения
→Полные системы функций
[[Теорема Поста о полной системе функций|Критерий Поста]] формулирует необходимое и достаточное условие полноты системы булевых функций:<br />
'''Система булевых функций полна тогда и только тогда, когда она не содержится целиком ни в одном из классов <math>T_0</math>, <math>T_1</math>, <math>S</math>, <math>M</math>, <math>L</math>.'''<br />
В частности, если функция не входит ни в один из классов Поста, она сама по себе формирует полную систему. В качестве примера можно назвать штрих Шеффера.
