2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему На страницу 1, 2, 3  След.
 
 Минимизиция булевых функций
Сообщение23.12.2007, 13:09 


18/12/05
17
Миасс
Найти минимальную ДНФ
нужна помощь в решении контрольной работы по Дискретки.
при решении задания нужно найти минимальную ДНФ
я нашел СКНФ и СДНФ (тоже надо было)
СДНФ: $\overline{x_1}$ $\overline{x_2}$ $\overline{x_3}$ $\vee $\overline{x_1}$ $\overline{x_2}$ $x_3$ $ $\vee $\overline{x_1}$ $x_2$ $\overline{x_3}$ $ $\vee $x_1$ $\overline{x_2}$ $\overline{x_3}$ $ $\vee $x_1$ $\overline{x_2}$ $x_3$ $

как мне теперь найти сокращенную ДНФ?
желательно с объяснениями, в интернете искал, но что то никак не могу понять как и что делается

буду рад если дадите ссылки на подробную литературу по этой теме

 Профиль  
                  
 
 
Сообщение23.12.2007, 13:12 
Заморожен
Аватара пользователя


18/12/07
8774
Новосибирск
А что значит "минимальная"? Наиболее короткая что ли?

 Профиль  
                  
 
 
Сообщение23.12.2007, 14:12 


18/12/05
17
Миасс
вроди да,
просто в плане написано найти минимальную

 Профиль  
                  
 
 
Сообщение23.12.2007, 14:16 
Заслуженный участник
Аватара пользователя


07/03/06
1898
Москва
http://www.sceptic-ratio.narod.ru/ma/dm1-2b.htm
Например, для нахождения минимальной в базисе ДНФ от трех переменных хорошо подходят карты Карно.

 Профиль  
                  
 
 
Сообщение23.12.2007, 14:31 


18/12/05
17
Миасс
че то ниче с ними вообще не понятно
объясните хотябы как склеиваются ?

 Профиль  
                  
 
 
Сообщение23.12.2007, 14:59 
Заслуженный участник
Аватара пользователя


07/03/06
1898
Москва
Должно получиться:
$\bar x_2\vee\bar x_3\bar x_1$
Сейчас, увы, нет времени подробно объяснять

 Профиль  
                  
 
 
Сообщение23.12.2007, 15:51 


18/12/05
17
Миасс
это в принципи дней несколько терпит так что буду очень признателе если объясните
спасибо за ответ

 Профиль  
                  
 
 
Сообщение23.12.2007, 17:48 


16/08/07
65
Диаграмма Карно
1.Нужно записать таблицу истинности для данной функции
Изображение
2.Значения при которых функция равна 1 заносятся в таблицу (для ДНФ, для КНФ записываются 0 )
Изображение
3.Нужно произвести склеивание (можно склеивать по 2 ,4 ,8,... элементов) 1, которые находятся рядом либо по углам.
Для склеивания двух элементов $\bar{x_1}\bar{x_2}\bar{x_3}$ и $\bar{x_1}{x_2}\bar{x_3}$ сначала работаем с первой строкой (столбцы 2 ,3) В них находятся значения 00 01 .Первые цифры совпадают 0 0 значит остается x1(с отрицанием если бы совпали 1 x1 был бы без отрицания). Вторые цифры 0 1 различны поэтому переменная x2 исчезает.
Теперь работаем с первым столбцом (вторая строка) x3 нельзя склеить, поэтому он остается (с отрицанием)
Получается $\bar{x_1}\bar{x_3}$
Анаогично склеиваются 4 элемента

В результате $\bar{x_1}\bar{x_3}\vee \bar{x_2}$

 Профиль  
                  
 
 
Сообщение24.12.2007, 08:44 


18/12/05
17
Миасс
mvb13, огромное спасибо вам за помощь, очень признателен

и еще один вопрос:
Является ли полной система булевых функций, состоящая из конъюнкции, константы и эквивалентности?

вот такое задание, что тут нада сделать и вообще о чем идет речь?

 Профиль  
                  
 
 
Сообщение24.12.2007, 09:05 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Советую Вам прочесть первые три-четыре лекции О.Б.Лупанова (а еще лучше - все!), скачав их, например, отсюда: http://www.vilenin.narod.ru/ (см. 2-й семестр) , тогда все станет ясно.

 Профиль  
                  
 
 
Сообщение24.12.2007, 09:10 
Заморожен
Аватара пользователя


18/12/07
8774
Новосибирск
Brukvalub писал(а):
Советую Вам прочесть первые три-четыре лекции О.Б.Лупанова (а еще лучше - все!), скачав их, например, отсюда: http://www.vilenin.narod.ru/ (см. 2-й семестр) , тогда все станет ясно.


Там, между прочим, экзешники. Не знаю, кто как, а я не такой дурень, чтоб на своём компутере непонятно чей экзешник открывать :)

 Профиль  
                  
 
 
Сообщение24.12.2007, 10:12 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Это экзешники - разархиваторы. Я их раньше открывал - происходит формирование Вордовского документа. Но Ваши сомнения мне понятны.

Добавлено спустя 34 минуты 46 секунд:

Раз не нравятся исполняемые файлы, то читаем те же лекции здесь: http://dmvn.mexmat.net/logic.php Большего сделать я не в силах :(

 Профиль  
                  
 
 
Сообщение24.12.2007, 20:26 
Заслуженный участник
Аватара пользователя


07/03/06
1898
Москва
SANeK писал(а):
Является ли полной система булевых функций, состоящая из конъюнкции, константы и эквивалентности?

Используйте критерий Поста.

 Профиль  
                  
 
 Помогите разобраться в дискретной математике (ДНФ)!!!!
Сообщение25.11.2008, 14:32 


25/11/08
8
1) Построить сокращенную ДНФ функции f, используя геметрическую интерпретацию ее области определения.
$f(x_1, x_2, x_3, x_4)= (1010111111   000001)$

2) Найти минимальную ДНФ функции f методом минимизирующих карт
$f(x_1, x_2, x_3)=xyz \vee xy'z' \vee xyz' \vee xy'z$

p.s. значок x' - это x с черточкой (извините пока не разобралсь как грамотно здесь писать)

1-й как я поняла надо рисовать карту карно, только не поняла как с ней работать :cry:

// 8.05.09 близкие темы соединены. / GAA

 Профиль  
                  
 
 
Сообщение25.11.2008, 18:05 
Заслуженный участник


18/03/07
1068
kwirk писал(а):
1-й как я поняла надо рисовать карту карно, только не поняла как с ней работать

А я так понял, что карту Карно надо рисовать во втором задании, а в первом — сколькитомерный куб.
Или что у вас называется геометрической интерпретацией области определения?

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 33 ]  На страницу 1, 2, 3  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group