Приведите равносильными преобразованиями следующую формулу к КНФ - Помощь студентам

eugenedogs · 16.02.2016, 15:59

Приведите равносильными преобразованиями следующую формулу к КНФ:

((x→y)→(z→¬x))→(y→¬z)

Помогите пожалуйста с решением, очень нужно. Сам никак не могу разобраться.

Pavia · 16.02.2016, 16:34

http://tablica-istinnosti.ru/ru/ss.p...5{X}))5(Y5{Z})

Pavia · 16.02.2016, 16:49

Или прямой заменой. То что левее стрелки отрицаем, а саму стрелку заменяем на галку вниз V
¬(¬(¬x V y)v(¬z V ¬x)) V (¬y V ¬z)
Далее надо проделать ряд операций для приведение к нормальной форме.
http://tablica-istinnosti.ru/ru/beg....)}4(({Y}4{Z}))

eugenedogs · 16.02.2016, 21:04

Цитата:

Сообщение от Pavia

http://tablica-istinnosti.ru/ru/ss.p...5{X}))5(Y5{Z})

Простите, а разве КНФ И СКНФ - это одно и то же?
Неправильно же вроде, если так делать. Или я ошибаюсь?

Pavia · 16.02.2016, 21:08

Цитата:

Простите, а разве КНФ И СКНФ - это одно и то же?

Да. СКНФ это частный случай КНф

Цитата:

Неправильно же вроде, если так делать. Или я ошибаюсь?

Правильно. Но преподаватель вас может попросить сделать другим методом.

eugenedogs · 16.02.2016, 21:10

Понятно. Спасибо Вам большое.

16.02.2016, 15:59	#1
eugenedogs Новичок Джуниор Регистрация: 16.02.2016 Сообщений: 3	Приведите равносильными преобразованиями следующую формулу к КНФ Приведите равносильными преобразованиями следующую формулу к КНФ: ((x→y)→(z→¬x))→(y→¬z) Помогите пожалуйста с решением, очень нужно. Сам никак не могу разобраться.

16.02.2016, 16:34	#2
Pavia Лис Старожил Регистрация: 18.09.2015 Сообщений: 2,409	http://tablica-istinnosti.ru/ru/ss.p...5{X}))5(Y5{Z}) Хорошо поставленный вопрос это уже половина ответа. \| Каков вопрос, таков ответ. У дзен программиста программа делает то что он хотел, а не то что он написал .

16.02.2016, 16:49	#3
Pavia Лис Старожил Регистрация: 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.

Похожие темы
Тема	Автор	Раздел	Ответов	Последнее сообщение
Привести формулу к КНФ / Доказать равносильность формул 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

16.02.2016, 21:10	#6
eugenedogs Новичок Джуниор Регистрация: 16.02.2016 Сообщений: 3	Понятно. Спасибо Вам большое.