|
|
Регистрация Восстановить пароль |
Повторная активизация e-mail |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
Опции темы | Поиск в этой теме |
16.02.2016, 15:59 | #1 |
Новичок
Джуниор
Регистрация: 16.02.2016
Сообщений: 3
|
Приведите равносильными преобразованиями следующую формулу к КНФ
Приведите равносильными преобразованиями следующую формулу к КНФ:
((x→y)→(z→¬x))→(y→¬z) Помогите пожалуйста с решением, очень нужно. Сам никак не могу разобраться. |
16.02.2016, 16:34 | #2 |
Лис
Старожил
Регистрация: 18.09.2015
Сообщений: 2,409
|
Хорошо поставленный вопрос это уже половина ответа. | Каков вопрос, таков ответ.
У дзен программиста программа делает то что он хотел, а не то что он написал . |
16.02.2016, 16:49 | #3 |
Лис
Старожил
Регистрация: 18.09.2015
Сообщений: 2,409
|
Или прямой заменой. То что левее стрелки отрицаем, а саму стрелку заменяем на галку вниз V
¬(¬(¬x V y)v(¬z V ¬x)) V (¬y V ¬z) Далее надо проделать ряд операций для приведение к нормальной форме. http://tablica-istinnosti.ru/ru/beg....)}4(({Y}4{Z}))
Хорошо поставленный вопрос это уже половина ответа. | Каков вопрос, таков ответ.
У дзен программиста программа делает то что он хотел, а не то что он написал . Последний раз редактировалось Pavia; 16.02.2016 в 17:06. |
16.02.2016, 21:04 | #4 | |
Новичок
Джуниор
Регистрация: 16.02.2016
Сообщений: 3
|
Цитата:
Неправильно же вроде, если так делать. Или я ошибаюсь? |
|
16.02.2016, 21:08 | #5 | ||
Лис
Старожил
Регистрация: 18.09.2015
Сообщений: 2,409
|
Цитата:
Цитата:
Хорошо поставленный вопрос это уже половина ответа. | Каков вопрос, таков ответ.
У дзен программиста программа делает то что он хотел, а не то что он написал . |
||
16.02.2016, 21:10 | #6 |
Новичок
Джуниор
Регистрация: 16.02.2016
Сообщений: 3
|
Понятно. Спасибо Вам большое.
|
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
Привести формулу к КНФ / Доказать равносильность формул SOS | bolvanka | Помощь студентам | 4 | 15.01.2014 22:42 |
приведите пример клиент-серверного приложения. | ромик0 | Общие вопросы C/C++ | 8 | 22.06.2011 00:01 |
Prolog. Перевод ДНФ в КНФ. | Marteen | Помощь студентам | 0 | 19.04.2011 15:37 |
[Алгоритм]преобразование к приведенной КНФ | Вясеслав | Помощь студентам | 0 | 23.11.2009 21:42 |
Пожалуйста, приведите пример использования NetMessageBufferSend. | slavka1988 | Работа с сетью в Delphi | 5 | 20.03.2009 13:03 |