Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Рейтинг 4.82/22: Рейтинг темы: голосов - 22, средняя оценка - 4.82
ZzZzZ
1 / 1 / 0
Регистрация: 04.08.2011
Сообщений: 29
1

ДНФ и КНФ

19.08.2011, 00:52. Просмотров 3979. Ответов 6
Метки нет (Все метки)

Здавствуйте. Подскажите пожалуйста, здесь я где-то ошибся или ... Ответ получается U ( Может я со скобками накосячил(
С помощью ДНФ и КНФ установить выполнимость формул:
0
Миниатюры
ДНФ и КНФ  
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
19.08.2011, 00:52
Ответы с готовыми решениями:

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

ДНФ<->КНФ
1) Из КНФ прихожу к ДНФ посредством перемножения :(A\vee \bar{C})(C\vee...

ДНФ и КНФ
(a&amp;b \rightarrow b&amp;c) \rightarrow ((a \rightarrow b) \rightarrow (c...

ДНФ и КНФ
Как найти ДНФ и КНФ ?????

ДНФ, КНФ, Ж
Есть формула: (x1 + (+) x3) -&gt; x2x3, где (+) - сложения по модулю два, а -&gt; -...

6
kazak
3058 / 2379 / 255
Регистрация: 11.03.2009
Сообщений: 5,438
Завершенные тесты: 1
19.08.2011, 09:04 2
http://www.cyberforum.ru/cgi-bin/latex.cgi?A \vee B \vee C \leftrightarrow C \rightarrow \overline {AB} \Rightarrow A \vee B \vee C \leftrightarrow \bar A \vee \bar B \vee \bar C
Далее используешь свойство
http://www.cyberforum.ru/cgi-bin/latex.cgi?x \leftrightarrow y \Rightarrow \left(\bar x \vee y\right)\left(x \vee \bar y\right)
1
ZzZzZ
1 / 1 / 0
Регистрация: 04.08.2011
Сообщений: 29
19.08.2011, 16:49  [ТС] 3
kazak, так я знаю эту формулу. Только Вы почему-то поменяли местами: /С стоит перед /А. Только я вот не пойму, в условии же НЕТ СКОБОК!!! Значит получается между С <-> /С должно происходить по формуле? Или так (AvBvC) <-> (/Cv/Av/B) ?
0
ZzZzZ
1 / 1 / 0
Регистрация: 04.08.2011
Сообщений: 29
23.08.2011, 15:25  [ТС] 4
Уважаемый kazak,, посмотрите пожалуйста правильно я сделал, нет?
0
Миниатюры
ДНФ и КНФ  
kazak
3058 / 2379 / 255
Регистрация: 11.03.2009
Сообщений: 5,438
Завершенные тесты: 1
24.08.2011, 07:52 5
http://www.cyberforum.ru/cgi-bin/latex.cgi?A \vee B \vee C \leftrightarrow C \rightarrow \overline {AB}\Rightarrow A \vee B \vee C \leftrightarrow \bar A \vee \bar B \vee \bar C \Rightarrow \left(\overline {A \vee B \vee C}\right)\left(\overline {\bar A \vee \bar B \vee \bar C}\right) \vee \left(A \vee B \vee C\right)\left(\bar A \vee \bar B \vee \bar C\right)\Rightarrow<br />
 \Rightarrow ABC\bar A \bar B \bar C \vee \left(A \vee B \vee C\right)\left(\bar A \vee \bar B \vee \bar C\right) \Rightarrow \left(A \vee B \vee C\right)\left(\bar A \vee \bar B \vee \bar C\right)

Цитата Сообщение от ZzZzZ Посмотреть сообщение
Только Вы почему-то поменяли местами: /С стоит перед /А.
Коммутативный закон
http://www.cyberforum.ru/cgi-bin/latex.cgi?xy = yx

Цитата Сообщение от ZzZzZ Посмотреть сообщение
Только я вот не пойму, в условии же НЕТ СКОБОК!!!
Приоритет операция по убыванию http://www.cyberforum.ru/cgi-bin/latex.cgi?\neg \, \wedge \, \vee \, \rightarrow \, \leftrightarrow
1
ZzZzZ
1 / 1 / 0
Регистрация: 04.08.2011
Сообщений: 29
24.08.2011, 23:26  [ТС] 6
kazak, так ответ у меня с Вами одинаковый . У Вас в сокращенном виде , а у меня подробно. Спасибо Вам за помощь.
0
kazak
3058 / 2379 / 255
Регистрация: 11.03.2009
Сообщений: 5,438
Завершенные тесты: 1
25.08.2011, 05:24 7
Таки у меня как раз подробный ответ
0
25.08.2011, 05:24
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
25.08.2011, 05:24

ДНФ и КНФ
Была формула. Упростил ее до вида &quot;\bar{x1}\wedge x3&quot;.. Подскажите, пожалуйста,...

ДНФ и КНФ
1. Нужно было привести функцию к ДНФ, после преобразований получилось что-то...

Получить из ДНФ КНФ
Есть функция в ДНФ f(a,b,c,d) = a V b. Необходимо перейти к КНФ. Помогите, а то...


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

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

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