В чём заключается критерий Поста для функциональной полноты множества булевых функций?

Критерий Поста для функциональной полноты множества булевых функций заключается в том, что набор является полным, если он не содержится полностью ни в одном из пяти замкнутых классов: S, M, L, T0, T1. neerc.ifmo.ru 4xx.zaytsev.net

Другими словами, согласно этому критерию, в наборе должна быть хотя бы одна функция, не сохраняющая ноль, хотя бы одна функция, не сохраняющая один, хотя бы одна несамодвойственная функция, хотя бы одна немонотонная функция и хотя бы одна нелинейная функция. neerc.ifmo.ru

Если бы все функции из набора входили в один из перечисленных классов, то и все суперпозиции, а значит, и замыкание набора входило бы в этот класс, и набор не мог бы быть полным. neerc.ifmo.ru