Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
 
Рейтинг 4.59/39: Рейтинг темы: голосов - 39, средняя оценка - 4.59
gogiandone
1 / 1 / 0
Регистрация: 13.11.2011
Сообщений: 89
#1

Найти КНФ и ДНФ

08.09.2012, 11:08. Просмотров 7728. Ответов 24
Метки нет (Все метки)

Используя основные тавтологии построить равносильные данной формуле ДНФ и КНФ
http://www.cyberforum.ru/cgi-bin/latex.cgi?(A\Rightarrow \bar{B})\Leftrightarrow \bar{C}
Дошел то этого
http://www.cyberforum.ru/cgi-bin/latex.cgi?((A\Lambda B)V\bar{C})\Lambda ((\bar{A}V\bar{B})VC)
дальше никак не могу сообразить

Заказываю контрольные, курсовые, дипломные и любые другие студенческие работы здесь.

0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
08.09.2012, 11:08
Ответы с готовыми решениями:

Логическое выражение. ДНФ в КНФ. КНФ в ДНФ
Здравствуйте. Помогите с решением задачки. Что-то не понятное творится.:( ...

Найти ДНФ и КНФ
Есть выражение: ¬ A ∨ B Я всю голову сломал. Днф получается неА v B. а...

Найти КНФ и ДНФ
\bar{(R\rightarrow Q)}\vee (Q\rightarrow\bar{R}) Нашел ДНФ...

Найти КНФ и ДНФ
Собственно формула: ((A\Rightarrow B)\vee (A\Rightarrow C))\Rightarrow...

Найти КНФ и ДНФ
Люди добрые помогите пожалуйста найти КНФ и ДНФ для функции: (A→B∨C)∧¬(A∧C)→A...

24
vetvet
Змеюка одышечная
9844 / 4585 / 177
Регистрация: 04.01.2011
Сообщений: 8,569
12.09.2012, 22:54 #21
Нет. Вы опять в дистрибутивном законе запутались.
0
gogiandone
1 / 1 / 0
Регистрация: 13.11.2011
Сообщений: 89
12.09.2012, 23:06  [ТС] #22
У меня сначало получена ДНФ
http://www.cyberforum.ru/cgi-bin/latex.cgi?(A\Lambda B\Lambda C)V(\bar{A}\Lambda \bar{C})V(\bar{B}\Lambda \bar{C})
из нее я получаю КНФ
0
vetvet
Змеюка одышечная
9844 / 4585 / 177
Регистрация: 04.01.2011
Сообщений: 8,569
12.09.2012, 23:16 #23
Цитата Сообщение от gogiandone Посмотреть сообщение
Это понятно

Добавлено через 22 часа 54 минуты
http://www.cyberforum.ru/cgi-bin/latex.cgi?(A\Lambda B\Lambda C)V((\bar{B}\Lambda \bar{C})V\bar{A})\Lambda ((\bar{B}\Lambda \bar{C})V\bar{C})
http://www.cyberforum.ru/cgi-bin/latex.cgi?(A\Lambda B\Lambda C)V((\bar{B}\Lambda \bar{C})V\bar{A})\Lambda \bar{C}
http://www.cyberforum.ru/cgi-bin/latex.cgi?(A\Lambda B\Lambda C)V(\bar{A}V\bar{B})\Lambda (\bar{A}V\bar{C})\Lambda \bar{C}
http://www.cyberforum.ru/cgi-bin/latex.cgi?(A\Lambda B\Lambda C)V(\bar{A}V\bar{B})\Lambda \bar{C}
http://www.cyberforum.ru/cgi-bin/latex.cgi?(\bar{A}V\bar{B}VA)\Lambda (\bar{A}V\bar{B}VB)\Lambda (\bar{A}V\bar{B}VC)\Lambda \bar{C} - КНФ так правильно
У вас ведь в предпоследней строке http://www.cyberforum.ru/cgi-bin/latex.cgi?(A\wedge B\wedge C)\vee((\bar{A}\vee\bar{B})\wedge \bar{C})
Почему же вы в ответе http://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{C} просто так переписали?
0
gogiandone
1 / 1 / 0
Регистрация: 13.11.2011
Сообщений: 89
12.09.2012, 23:29  [ТС] #24
Буду находить КНФ из первоначальной формулы
0
vetvet
Змеюка одышечная
9844 / 4585 / 177
Регистрация: 04.01.2011
Сообщений: 8,569
13.09.2012, 00:19 #25
Дерзайте.
0
13.09.2012, 00:19
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
13.09.2012, 00:19

Найти минимальную КНФ и сокращенную ДНФ
Пропустил пару тем теперь вот каюсь, не знаю как решать, сможете помочь решить?...

Найти ДНФ и кнф? (Правильно ли я решил?)
Нужно было построить днф и кнф

Найти днф, кнф, скнф, сднф
(\bar{b}(\bar{a}+\bar{c})\rightarrow b)(\bar{a}+b\rightarrow \bar{c})


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
25
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru