Какие базисы булевых функций существуют?

[Dims]

Какие существуют базисы (минимальные полные наборы) булевых функций, кроме дизъюнктивного (или, не), конъюнктивного (и, не), Жегалкина (искл.или, и, истина), Пирса (или-не) и Шеффера (и-не)?

[juna]

Так критерий Поста в этом помогает или вы хотите спросить сколько систем будет полными из одной, двух.. бинарных( или n-арных) булевых функций?

[luitzen]

Существует бесконечно много базисов (даже и одноэлементных — для всякого n найдется, к примеру, некое n-арное обобщение штриха Шеффера).
Полезным является тот факт, что в базисе не может быть больше четырёх функций.
Если Вас интересует полный список базисов из не более чем двуместных функций, то могу посмотреть в книжках, или подумать головой, или написать какой-нибудь «перебиратель».
Сразу же приходит в голову базис, образованный импликацией и отрицанием :)