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

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

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

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

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

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

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

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

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

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

2
Ellipsoid
1862 / 1448 / 167
Регистрация: 16.06.2012
Сообщений: 3,306
20.03.2016, 17:59 #2
Начните с выражения импликации через дизъюнкцию и отрицание и последующего применения одного из законов де Моргана.
1
Mikl___
Автор FAQ
11379 / 5922 / 535
Регистрация: 11.11.2010
Сообщений: 10,938
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 & -z) ~ (x & y)

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

Привести к ДНФ и КНФ, СКНФ, СДНФ формулу:
Привести к ДНФ и КНФ, СКНФ, СДНФ формулу:...

Привести формулу к ДНФ, КНФ, СДНФ, СКНФ
Привести формулу к ДНФ, КНФ, СДНФ, СКНФ. С помощью эквивалентных...


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

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

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