Простое задание (для начинающих)

@foxsc · Регистрация: 30.06.2015

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

Здравствуйте уважаемые форумчани!Не так давно изучать дискретной математику,столкнулся с таким заданием:Условие доказать что выражение является формулой (x->(y^x->-x)) для доказательства решил раскрыть выражение(если раскроется,то формула)получилось вот что:x->y^z->-x=-xVy^z->-x=(xVy)^(zVx).Правильно ли такое решение?если нет то почему?и как вообще можно доказать что выражение есть формула?(google с яндексом не помогли)P/s (xVy)^(zVx) думаю эту строчку можно раскрыть через дистрибутивность

OldFedor · 14.10.2015, 17:41

$https://www.cyberforum.ru/cgi-bin/latex.cgi?x\rightarrow (yx\rightarrow \bar{x})=x\rightarrow (\bar{xy}+x)=x\rightarrow (\bar{x}+\bar{y}+x)=x\rightarrow 1=\bar{x}+1\equiv 1$

@foxsc · 14.10.2015, 17:51 **[ТС]**

Прошу прощения напутал условие:x->(y^z->-x)

OldFedor · 14.10.2015, 18:05

$https://www.cyberforum.ru/cgi-bin/latex.cgi?x\rightarrow (yz\rightarrow \bar{x})=\bar{x}+\bar{yz}+\bar{x}=\bar{x}+\bar{yz}=\bar{xyz}$

@foxsc · 14.10.2015, 18:07 **[ТС]**

обьясните как вы решали?

OldFedor · 14.10.2015, 18:09

Импликация - $https://www.cyberforum.ru/cgi-bin/latex.cgi?x \rightarrow y = \bar{x} + y$

@foxsc · 14.10.2015, 18:15 **[ТС]**

каким образом это доказывает что выражение это именно формула?тем что к нему применимы законы логики?

OldFedor · 14.10.2015, 18:25

Если исходное было бы первое - то это тождество.
Второе выражение, которое можно реализовать, например, на логических элементах,
описывает некую функцию.

@foxsc · 14.10.2015, 18:27 **[ТС]**

первое(это ошибочное),второе верно.Получается если выражение можно реализовать с помощью(законов логики)и привести к конечному числовому результату то это формула?

OldFedor · 14.10.2015, 18:35

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

конечному числовому результату

Формула - это формализованная запись неких действий над параметрами для получения результата (функции)
В первом случае результата нет.

@foxsc 1 / 0 / 0 Регистрация: 30.06.2015 Сообщений: 46
		1
	Простое задание (для начинающих) 14.10.2015, 17:37. Показов 624. Ответов 9 Метки нет (Все метки) Здравствуйте уважаемые форумчани!Не так давно изучать дискретной математику,столкнулся с таким заданием:Условие доказать что выражение является формулой (x->(y^x->-x)) для доказательства решил раскрыть выражение(если раскроется,то формула)получилось вот что:x->y^z->-x=-xVy^z->-x=(xVy)^(zVx).Правильно ли такое решение?если нет то почему?и как вообще можно доказать что выражение есть формула?(google с яндексом не помогли)P/s (xVy)^(zVx) думаю эту строчку можно раскрыть через дистрибутивность 0

OldFedor 7484 / 4148 / 474 Регистрация: 25.08.2012 Сообщений: 11,529 Записей в блоге: 11
	14.10.2015, 17:41	2
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?x\rightarrow (yx\rightarrow \bar{x})=x\rightarrow (\bar{xy}+x)=x\rightarrow (\bar{x}+\bar{y}+x)=x\rightarrow 1=\bar{x}+1\equiv 1$ 0

@foxsc 1 / 0 / 0 Регистрация: 30.06.2015 Сообщений: 46
	14.10.2015, 17:51 [ТС]	3
	Прошу прощения напутал условие:x->(y^z->-x) 0

OldFedor 7484 / 4148 / 474 Регистрация: 25.08.2012 Сообщений: 11,529 Записей в блоге: 11
	14.10.2015, 18:05	4
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?x\rightarrow (yz\rightarrow \bar{x})=\bar{x}+\bar{yz}+\bar{x}=\bar{x}+\bar{yz}=\bar{xyz}$ 0

@foxsc 1 / 0 / 0 Регистрация: 30.06.2015 Сообщений: 46
	14.10.2015, 18:07 [ТС]	5
	обьясните как вы решали? 0

OldFedor 7484 / 4148 / 474 Регистрация: 25.08.2012 Сообщений: 11,529 Записей в блоге: 11
	14.10.2015, 18:09	6
	Импликация - $https://www.cyberforum.ru/cgi-bin/latex.cgi?x \rightarrow y = \bar{x} + y$ 0

@foxsc 1 / 0 / 0 Регистрация: 30.06.2015 Сообщений: 46
	14.10.2015, 18:15 [ТС]	7
	каким образом это доказывает что выражение это именно формула?тем что к нему применимы законы логики? 0

OldFedor 7484 / 4148 / 474 Регистрация: 25.08.2012 Сообщений: 11,529 Записей в блоге: 11
	14.10.2015, 18:25	8
	Если исходное было бы первое - то это тождество. Второе выражение, которое можно реализовать, например, на логических элементах, описывает некую функцию. 0

@foxsc 1 / 0 / 0 Регистрация: 30.06.2015 Сообщений: 46
	14.10.2015, 18:27 [ТС]	9
	первое(это ошибочное),второе верно.Получается если выражение можно реализовать с помощью(законов логики)и привести к конечному числовому результату то это формула? 0

OldFedor 7484 / 4148 / 474 Регистрация: 25.08.2012 Сообщений: 11,529 Записей в блоге: 11
	14.10.2015, 18:35	10
	Сообщение от foxsc конечному числовому результату Формула - это формализованная запись неких действий над параметрами для получения результата (функции) В первом случае результата нет. 0