Получить СКНФ, а потом СДНФ

@razum777 · Регистрация: 15.12.2009

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

Помогите решить, пожалуйста. Я могу составить таблицу истинности, найти СДНФ, а потом с помощью двойного отрицания найти СКНФ, но наоборот что то не получается

Название: мат логика.JPG
Просмотров: 142

Размер: 1.4 Кб

@kazak · 09.02.2013, 10:22

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

наоборот что то не получается

просто раскрываете скобки.

@razum777 · 09.02.2013, 10:36 **[ТС]**

Можно, пожалуйста, пример?

@kazak · 09.02.2013, 10:45

Дистрибутивный закон
$https://www.cyberforum.ru/cgi-bin/latex.cgi?(a \vee b)(x \vee y) = ax \vee ay \vee bx \vee by$
Пример
$https://www.cyberforum.ru/cgi-bin/latex.cgi?(\bar x \vee y \vee z)(x \vee \bar y \vee z)(x \vee y \vee z) = (\bar xx \vee \bar x\bar y \vee \bar xz \vee xy \vee \bar yy \vee yz \vee xz \vee \bar yz \vee zz)(x \vee y \vee z) = (\bar x\bar y \vee xy \vee z)(x \vee y \vee z) = <br /> \bar xx\bar y \vee \bar x\bar yy \vee \bar x\bar yz \vee xxy \vee xyy \vee xyz \vee xz \vee yz \vee zz = xy \vee z$

@razum777 · 09.02.2013, 10:48 **[ТС]**

Мне был дан пример именно в таком виде, не совсем понятно, сначала раскрывать скобки умножением на "НЕ Х"?

@kazak · 09.02.2013, 10:50

У Вас не получается из СКНФ в СДНФ перевести или саму СКНФ найти?

@razum777 · 09.02.2013, 13:58 **[ТС]**

я знаю метод нахождения при помощи составления таблицы истинности и затем исходя из полученных результатов этой таблицы истинности, я составляю СДНФ, мне необходимо узнать принцип составления КНФ и СКНФ.
П.С. Теорию прочитал, ничего не понял

@kazak · 10.02.2013, 12:54

По таблице истинности СКНФ составляется аналогично СДНФ, только для дизъюнктов выбираются те наборы, на которых функция равна нулю. Если переменная в наборе равна нулю, то в дизъюнкт она входит сама, иначе ее отрицание.

@razum777 · 11.02.2013, 11:21 **[ТС]**

спасибо, и все таки при составлении таблицы истинности: сначала умножать на "НЕ Х"?

@kazak · 11.02.2013, 12:35

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

сначала умножать на "НЕ Х"?

Да.

@razum777 1 / 1 / 0 Регистрация: 15.12.2009 Сообщений: 46
		1
	Получить СКНФ, а потом СДНФ 08.02.2013, 20:45. Показов 943. Ответов 9 Метки нет (Все метки) Помогите решить, пожалуйста. Я могу составить таблицу истинности, найти СДНФ, а потом с помощью двойного отрицания найти СКНФ, но наоборот что то не получается 0

@kazak 3528 / 2686 / 334 Регистрация: 11.03.2009 Сообщений: 6,169
	09.02.2013, 10:22	2
	Сообщение от razum777 наоборот что то не получается просто раскрываете скобки. 0

@razum777 1 / 1 / 0 Регистрация: 15.12.2009 Сообщений: 46
	09.02.2013, 10:36 [ТС]	3
	Можно, пожалуйста, пример? 0

@kazak 3528 / 2686 / 334 Регистрация: 11.03.2009 Сообщений: 6,169
	09.02.2013, 10:45	4
	Дистрибутивный закон $https://www.cyberforum.ru/cgi-bin/latex.cgi?(a \vee b)(x \vee y) = ax \vee ay \vee bx \vee by$ Пример $https://www.cyberforum.ru/cgi-bin/latex.cgi?(\bar x \vee y \vee z)(x \vee \bar y \vee z)(x \vee y \vee z) = (\bar xx \vee \bar x\bar y \vee \bar xz \vee xy \vee \bar yy \vee yz \vee xz \vee \bar yz \vee zz)(x \vee y \vee z) = (\bar x\bar y \vee xy \vee z)(x \vee y \vee z) = <br /> \bar xx\bar y \vee \bar x\bar yy \vee \bar x\bar yz \vee xxy \vee xyy \vee xyz \vee xz \vee yz \vee zz = xy \vee z$ 0

@razum777 1 / 1 / 0 Регистрация: 15.12.2009 Сообщений: 46
	09.02.2013, 10:48 [ТС]	5
	Мне был дан пример именно в таком виде, не совсем понятно, сначала раскрывать скобки умножением на "НЕ Х"? 0

@kazak 3528 / 2686 / 334 Регистрация: 11.03.2009 Сообщений: 6,169
	09.02.2013, 10:50	6
	У Вас не получается из СКНФ в СДНФ перевести или саму СКНФ найти? 0

@razum777 1 / 1 / 0 Регистрация: 15.12.2009 Сообщений: 46
	09.02.2013, 13:58 [ТС]	7
	я знаю метод нахождения при помощи составления таблицы истинности и затем исходя из полученных результатов этой таблицы истинности, я составляю СДНФ, мне необходимо узнать принцип составления КНФ и СКНФ. П.С. Теорию прочитал, ничего не понял 0

@kazak 3528 / 2686 / 334 Регистрация: 11.03.2009 Сообщений: 6,169
	10.02.2013, 12:54	8
	По таблице истинности СКНФ составляется аналогично СДНФ, только для дизъюнктов выбираются те наборы, на которых функция равна нулю. Если переменная в наборе равна нулю, то в дизъюнкт она входит сама, иначе ее отрицание. 0

@razum777 1 / 1 / 0 Регистрация: 15.12.2009 Сообщений: 46
	11.02.2013, 11:21 [ТС]	9
	спасибо, и все таки при составлении таблицы истинности: сначала умножать на "НЕ Х"? 0

@kazak 3528 / 2686 / 334 Регистрация: 11.03.2009 Сообщений: 6,169
	11.02.2013, 12:35	10
	Сообщение от razum777 сначала умножать на "НЕ Х"? Да. 1