Приведение к КНФ и СКНФ

@LAX · Регистрация: 03.03.2010

Author24 — интернет-сервис помощи студентам

Привет! Подскажите, пожалуйста, в чем ошибка? Делал по аналогии с примером на Википедии
Необходимо найти КНФ и СКНФ(ДКНФ - украинский вариант) из функции

@Somebody · 07.10.2013, 19:42

А с чего тут ошибка должна быть? Всё правильно.
http://www.wolframalpha.com/input/?i=CNF+!%28x+%26%26+%28y+%3D%3E+%28x+||+z%29%29%29

@LAX · 08.10.2013, 00:46 **[ТС]**

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

А с чего тут ошибка должна быть? Всё правильно.
http://www.wolframalpha.com/in... z%29%29%29

За ссылку спасибо, не знал, что вольфрам такое умеет. Найдено правильно(сверил по таблице истинности), а решение неправильное.

@kazak · 09.10.2013, 09:49

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

Подскажите, пожалуйста, в чем ошибка?

В Вашем варианте получилась ДНФ. Если до конца сократить, то второй конъюнкт поглощается, и остается только не х. Это будет и КНФ и ДНФ.

@LAX · 10.10.2013, 17:23 **[ТС]**

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

В Вашем варианте получилась ДНФ. Если до конца сократить, то второй конъюнкт поглощается, и остается только не х. Это будет и КНФ и ДНФ.

А на основе какого закона/правила сокращается до "НЕ х"? Не могу понять как это

Добавлено через 36 минут
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}\vee y(\bar{x}\bar{z}) \equiv \bar{x}\vee \bar{x}(y\bar{z}) \equi \bar{x} (1 \vee y\bar{z})\equiv bar{x}$
Верно?

@kazak · 10.10.2013, 19:25

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

Верно?

Смысл уловили верно)

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

А на основе какого закона/правила сокращается до "НЕ х"?

Правило так и называется - закон поглощения
$https://www.cyberforum.ru/cgi-bin/latex.cgi?x \vee xy = x<br /> x(x \vee y) = x<br /> x \vee \bar xy = x \vee y<br /> x(\bar x \vee y) = xy$

@LAX 0 / 0 / 1 Регистрация: 03.03.2010 Сообщений: 13
		1
	Приведение к КНФ и СКНФ 07.10.2013, 18:55. Показов 5434. Ответов 5 Метки нет (Все метки) Привет! Подскажите, пожалуйста, в чем ошибка? Делал по аналогии с примером на Википедии Необходимо найти КНФ и СКНФ(ДКНФ - украинский вариант) из функции Миниатюры 0

@Somebody 2835 / 1644 / 254 Регистрация: 03.12.2007 Сообщений: 4,222
	07.10.2013, 19:42	2
	А с чего тут ошибка должна быть? Всё правильно. http://www.wolframalpha.com/input/?i=CNF+!%28x+%26%26+%28y+%3D%3E+%28x+\|\|+z%29%29%29 1

@LAX 0 / 0 / 1 Регистрация: 03.03.2010 Сообщений: 13
	08.10.2013, 00:46 [ТС]	3
	Сообщение от Somebody А с чего тут ошибка должна быть? Всё правильно. http://www.wolframalpha.com/in... z%29%29%29 За ссылку спасибо, не знал, что вольфрам такое умеет. Найдено правильно(сверил по таблице истинности), а решение неправильное. 0

@kazak 3528 / 2686 / 334 Регистрация: 11.03.2009 Сообщений: 6,168
	09.10.2013, 09:49	4
	Сообщение от LAX Подскажите, пожалуйста, в чем ошибка? В Вашем варианте получилась ДНФ. Если до конца сократить, то второй конъюнкт поглощается, и остается только не х. Это будет и КНФ и ДНФ. 2

@LAX 0 / 0 / 1 Регистрация: 03.03.2010 Сообщений: 13
	10.10.2013, 17:23 [ТС]	5
	Сообщение от kazak В Вашем варианте получилась ДНФ. Если до конца сократить, то второй конъюнкт поглощается, и остается только не х. Это будет и КНФ и ДНФ. А на основе какого закона/правила сокращается до "НЕ х"? Не могу понять как это Добавлено через 36 минут $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}\vee y(\bar{x}\bar{z}) \equiv \bar{x}\vee \bar{x}(y\bar{z}) \equi \bar{x} (1 \vee y\bar{z})\equiv bar{x}$ Верно? 0

@kazak 3528 / 2686 / 334 Регистрация: 11.03.2009 Сообщений: 6,168
	10.10.2013, 19:25	6
	Сообщение от LAX Верно? Смысл уловили верно) Сообщение от LAX А на основе какого закона/правила сокращается до "НЕ х"? Правило так и называется - закон поглощения $https://www.cyberforum.ru/cgi-bin/latex.cgi?x \vee xy = x<br /> x(x \vee y) = x<br /> x \vee \bar xy = x \vee y<br /> x(\bar x \vee y) = xy$ 0