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