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

@Зинира97 · Регистрация: 22.06.2017

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

По эквивалентным преобразованиям построить кнф функции f=(x1&x2->(x1~x3))->x2&x3
Мне очень нужна ваша помощь, сама я пыталась сделать,но не получается, просто не понимаю(

@Ellipsoid · 22.06.2017, 13:08

Что именно не получается? Сначала избавьтесь от внутренней импликации.

@Зинира97 · 22.06.2017, 16:29 **[ТС]**

Да ничего не получается, вообще не понимаю ничего,не доходит

@Ellipsoid · 22.06.2017, 18:50

Что именно не понимаете? Что именно не доходит? Вам нужно заменить $https://www.cyberforum.ru/cgi-bin/latex.cgi?f_1(x) \to f_2(x)$ на $https://www.cyberforum.ru/cgi-bin/latex.cgi? \overline{f_1(x)} \vee f_2(x)$ , где $https://www.cyberforum.ru/cgi-bin/latex.cgi?f_1$ и $https://www.cyberforum.ru/cgi-bin/latex.cgi?f_2$ - любые булевы функции.

@Зинира97 0 / 0 / 0 Регистрация: 22.06.2017 Сообщений: 2
		1
	По эквивалентным преобразованиям построить КНФ функции 22.06.2017, 12:52. Показов 521. Ответов 3 Метки нет (Все метки) По эквивалентным преобразованиям построить кнф функции f=(x1&x2->(x1~x3))->x2&x3 Мне очень нужна ваша помощь, сама я пыталась сделать,но не получается, просто не понимаю( 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	22.06.2017, 13:08	2
	Что именно не получается? Сначала избавьтесь от внутренней импликации. 0

@Зинира97 0 / 0 / 0 Регистрация: 22.06.2017 Сообщений: 2
	22.06.2017, 16:29 [ТС]	3
	Да ничего не получается, вообще не понимаю ничего,не доходит 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	22.06.2017, 18:50	4
	Что именно не понимаете? Что именно не доходит? Вам нужно заменить $https://www.cyberforum.ru/cgi-bin/latex.cgi?f_1(x) \to f_2(x)$ на $https://www.cyberforum.ru/cgi-bin/latex.cgi? \overline{f_1(x)} \vee f_2(x)$ , где $https://www.cyberforum.ru/cgi-bin/latex.cgi?f_1$ и $https://www.cyberforum.ru/cgi-bin/latex.cgi?f_2$ - любые булевы функции. 0