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