Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Dinoo
0 / 0 / 0
Регистрация: 18.06.2015
Сообщений: 46
1

Приведите формулу алгебры высказываний к СДНФ, СКНФ

20.03.2016, 15:35. Просмотров 273. Ответов 2
Метки нет (Все метки)

Пожалуйста,помогите решить!!!!С помощью равносильных преобразований приведите формулу алгебры высказываний к СДНФ, СКНФ
((XvY)->не Z)&Y
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
20.03.2016, 15:35
Ответы с готовыми решениями:

С помощью равносильных преобразований приведите формулу алгебры высказываний к ДНФ, КНФ
Пожалуйста,помогите решить!!!!С помощью равносильных преобразований приведите...

Равносильными преобразованиями привести формулу логики высказываний к СДНФ и СКНФ:
Равносильными преобразованиями привести формулу логики высказываний к СДНФ и...

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

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

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

2
Ellipsoid
1865 / 1450 / 168
Регистрация: 16.06.2012
Сообщений: 3,307
20.03.2016, 17:59 2
Начните с выражения импликации через дизъюнкцию и отрицание и последующего применения одного из законов де Моргана.
1
Mikl___
Автор FAQ
11775 / 6079 / 554
Регистрация: 11.11.2010
Сообщений: 11,071
21.03.2016, 13:27 3
  1. с начала упрощаешь функциюhttp://www.cyberforum.ru/cgi-bin/latex.cgi?((X+Y)\to\bar{Z})\cdot Y=(\bar{(X+Y)}+\bar{Z})Y=\bar{X}\bar{Y}Y+\bar{Z}Y=\bar{Z}Y
  2. ДНФ http://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{Z}Y
  3. КНФ http://www.cyberforum.ru/cgi-bin/latex.cgi?(Y+Z)(\bar{Y}+\bar{Z})(Y+\bar{Z})
  4. СДНФ http://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{X}Y\bar{Z}+XY\bar{Z}
  5. СКНФ http://www.cyberforum.ru/cgi-bin/latex.cgi?(X+Y+Z)(X+Y+\bar{Z})(X+\bar{Y}+\bar{Z})(\bar{X}+Y+Z)(\bar{X}+Y+\bar{Z})(\bar{X}+\bar{Y}+\bar{Z})
1
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
21.03.2016, 13:27

Привести формулу к СДНФ и СКНФ
(¬(X→Y)∧Z→¬Z)∨¬Y Задание состоит в том, чтобы построить таблицу истинности для...

Привести формулу к СДНФ и СКНФ
-(x & -z) ~ (x & y)

Используя совершенную дизъюнктивную нормальную форму, найдите формулу алгебры высказываний
Используя совершенную дизъюнктивную нормальную форму, найдите формулу алгебры...


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

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

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