Правила форума
В этом разделе
нельзя создавать новые темы. Если Вы хотите задать новый вопрос, то
не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".
Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть
удалены без предупреждения.Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса
обязан привести свои попытки решения и указать конкретные затруднения.
Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть
удалена или перемещена в
Карантин, а Вы так и не узнаете, почему.
|
Dims |
Какие базисы булевых функций существуют?  19.04.2007, 01:11 |
|
| Заслуженный участник |
 |
16/03/06
406
Moscow
|
|
Какие существуют базисы (минимальные полные наборы) булевых функций, кроме дизъюнктивного (или, не), конъюнктивного (и, не), Жегалкина (искл.или, и, истина), Пирса (или-не) и Шеффера (и-не)?
|
|
|
|
 |
|
juna |
19.04.2007, 06:15 |
|
| Заслуженный участник |
 |
07/03/06
1904
Москва
|
|
Так критерий Поста в этом помогает или вы хотите спросить сколько систем будет полными из одной, двух.. бинарных( или n-арных) булевых функций?
|
|
|
|
|
|
luitzen |
25.04.2007, 13:09 |
|
| Заслуженный участник |
 |
18/03/07
1068
|
|
Существует бесконечно много базисов (даже и одноэлементных — для всякого n найдется, к примеру, некое n-арное обобщение штриха Шеффера).
Полезным является тот факт, что в базисе не может быть больше четырёх функций.
Если Вас интересует полный список базисов из не более чем двуместных функций, то могу посмотреть в книжках, или подумать головой, или написать какой-нибудь «перебиратель».
Сразу же приходит в голову базис, образованный импликацией и отрицанием :)
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 3 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
