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

С помощь совершенных нормальных форм установить

17.08.2011, 17:00. Просмотров 2130. Ответов 12
Метки нет (Все метки)

Здравствуйте. Не подскажите, правильно ли я сделал?
С помощь совершенных нормальных форм установить, равносильно ли формулы A(альфа) и B(бетта)

Получается они не равносильны((
0
Миниатюры
С помощь совершенных нормальных форм установить  
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
17.08.2011, 17:00
Ответы с готовыми решениями:

Построение совершенных нормальных форм
Помогите построить совершенную конъюктивную нормальную форму http://i016....

Прошу помощи с теорией нормальных форм (ЗНФ, 2НФ...)
Пожалуйста объясните "на словах" как проводить нормализацию БД? 1 НФ 2 НФ 3...

Метод нормальных форм: найти первую, вторую и третью нормальные формы
Возникли трудности с нормальными формами. По заданию создала базу все работает...

Помощь в создании форм
Всем добрый вечер форумчане, вот совсем недавно начал осваивать аксесс, причем...

Как установить очередность вызова форм в проекте
Здравствуйте. Я сделал несколько форм и потом добавил ещё одну форму, для...

12
Techno
Вирусоборец
318 / 120 / 2
Регистрация: 15.07.2011
Сообщений: 293
17.08.2011, 20:04 2
Почему в первом получилось http://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{A}? Как Вы так скобку последнюю убрали?
1
ZzZzZ
1 / 1 / 0
Регистрация: 04.08.2011
Сообщений: 29
18.08.2011, 01:40  [ТС] 3
Ну если А v /А = U может B v /B = U (/-отрицание, дополнение)
Нет? Если нет, тогда ... наверное в первом надо по какой-то формуле сократить. Что делать дальше не понятно (
0
Миниатюры
С помощь совершенных нормальных форм установить  
kazak
3058 / 2379 / 255
Регистрация: 11.03.2009
Сообщений: 5,438
Завершенные тесты: 1
18.08.2011, 01:51 4
http://www.cyberforum.ru/cgi-bin/latex.cgi?B \vee \bar B = 1 \Rightarrow \left(B \vee \bar B \right)\left(\bar B \vee C \right) = \bar B \vee C

Добавлено через 5 минут
А дальше получить из полученных формул СДНФ и сравнить.
1
Techno
Вирусоборец
318 / 120 / 2
Регистрация: 15.07.2011
Сообщений: 293
18.08.2011, 13:04 5
По первому варианту:
/Аv((/BvB)^(/BvC))=/Av/BvC
0
ZzZzZ
1 / 1 / 0
Регистрация: 04.08.2011
Сообщений: 29
18.08.2011, 17:52  [ТС] 6
Этот предмет что-то с чем-то. Ужас вообщем!!!
Вот, что получилось.
0
Миниатюры
С помощь совершенных нормальных форм установить  
ZzZzZ
1 / 1 / 0
Регистрация: 04.08.2011
Сообщений: 29
19.08.2011, 00:22  [ТС] 7
Как Вы считаете ? Правильно?
0
kazak
3058 / 2379 / 255
Регистрация: 11.03.2009
Сообщений: 5,438
Завершенные тесты: 1
19.08.2011, 04:25 8
Для альфа http://www.cyberforum.ru/cgi-bin/latex.cgi?\bar A \vee \bar B \vee C и будет СКНФ. Для бета почти верно: В должно быть без отрицания. И если есть сомнения, всегда можно проверить, составив таблицу истиности.
0
ZzZzZ
1 / 1 / 0
Регистрация: 04.08.2011
Сообщений: 29
19.08.2011, 16:59  [ТС] 9
kazak, "... В должно быть без отрицания" - извините, не понял Так В и так без отрицания (дополнение)
0
ZzZzZ
1 / 1 / 0
Регистрация: 04.08.2011
Сообщений: 29
23.08.2011, 18:29  [ТС] 10
kazak, а если так? Но в бета как-то... Скорей неправильно? Я уже не знаю что сделать с бетой Что же ответе в бета просто /АvB ? "... составив таблицу истиности" - Не знаю, как это делается
0
Миниатюры
С помощь совершенных нормальных форм установить  
kazak
3058 / 2379 / 255
Регистрация: 11.03.2009
Сообщений: 5,438
Завершенные тесты: 1
24.08.2011, 04:38 11
http://www.cyberforum.ru/cgi-bin/latex.cgi?\alpha = A \rightarrow \left(B \rightarrow \overline {B \rightarrow \bar C}\right) \Rightarrow \bar A \vee \left(\bar B \vee \overline {\bar B \vee \bar C}\right) \Rightarrow \bar A \vee \bar B \vee BC \Rightarrow \bar A \vee \left(\bar B \vee B\right)\left(\bar B \vee C\right) \Rightarrow \bar A \vee \bar B \vee C<br />
<br />
\beta = A \rightarrow B \Rightarrow \bar A \vee B \Rightarrow \bar A \vee B \vee C\bar C \Rightarrow \left( \bar A \vee B \vee C\right)\left(\bar A \vee B \vee \bar C\right)<br />
<br />
\bar A \vee \bar B \vee C \neq  \left( \bar A \vee B \vee C\right)\left(\bar A \vee B \vee \bar C\right) \Rightarrow \alpha \neq \beta
Цитата Сообщение от ZzZzZ Посмотреть сообщение
составив таблицу истиности" - Не знаю, как это делается
Как такое возможно?

Добавлено через 3 минуты
И повторить определения "элементарный конъюнкт", "элементарный дизъюнкт", "нормальная конъюнктивная форма", "нормальная дизъюнктивная форма".
1
katja
0 / 0 / 0
Регистрация: 17.11.2014
Сообщений: 11
27.09.2011, 21:25 12
Объясните, пожалуйста, откуда берется высказывание С при упрощении бета?
0
kazak
3058 / 2379 / 255
Регистрация: 11.03.2009
Сообщений: 5,438
Завершенные тесты: 1
28.09.2011, 00:13 13
Цитата Сообщение от katja Посмотреть сообщение
Объясните, пожалуйста, откуда берется высказывание С при упрощении бета?
При построении совершенных формул каждый элементарный дизъюнкт/конъюнкт дополняется недостающей переменной. Допусим есть элементарный дизъюнкт xy, нам нужно добавить в него еще z.
Тогда мы делаем следующее
http://www.cyberforum.ru/cgi-bin/latex.cgi?xy \Rightarrow xy\left(z \vee \bar z\right) \Rightarrow xyz \vee xy\bar z
Для конъюткта xVy
http://www.cyberforum.ru/cgi-bin/latex.cgi?x\vee y \Rightarrow x \vee y \vee z\bar z \Rightarrow \left(x \vee y \vee z\right)\left(x \vee y \vee \bar z\right)
Так как по свойству дополнения
http://www.cyberforum.ru/cgi-bin/latex.cgi?z \vee \bar z =1, \, z\bar z = 0
то такие преобразования не изменяют значение исходного выражения.
0
28.09.2011, 00:13
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
28.09.2011, 00:13

Не могу установить цвет фона и текста в полях и кнопках форм. Msacces2003
Доброго времени суток! Собственно сабж. Вначале заметил, что в одном из...

HEX в нормальных НЕХ
Здравствуйте уважаемые форумчане! Проблема такая возникла у меня. Есть...

Объявление форм для доступа к ним из других форм проекта
Поскажите, пожалуйста, как правильно объявить форму, что бы доступ к её...


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

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

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