Равносильность функций

@RikiTavi · Регистрация: 07.05.2011

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

Проверьте пожалуйста решение.Там надо доказать являются ли функции равносильными

@Владимир_ВМ · 15.04.2012, 17:56

У вас в преобразовании формулы V есть ошибка в месте где идёт инверсия над скобкой, а именно Хv(¬Yv¬Z). Инверсия данной скобки будет (¬X^(YvZ))=(¬Х^Y)v(¬X^Z).
Преобразование формулы V у меня привело к V=¬XvY^Z.
А с чем именно вы должны сравнить?

@RikiTavi · 15.04.2012, 18:04 **[ТС]**

Надо сравнить с U..ответ находится в самом конце

Добавлено через 3 минуты

Сообщение от Владимир_ВМ

У вас в преобразовании формулы V есть ошибка в месте где идёт инверсия над скобкой, а именно Хv(¬Yv¬Z). Инверсия данной скобки будет (¬X^(YvZ))=(¬Х^Y)v(¬X^Z).
Преобразование формулы V у меня привело к V=¬XvY^Z.
А с чем именно вы должны сравнить?

Это где цифра 2 в конце?

@Владимир_ВМ · 15.04.2012, 18:39

Извеняюсь ошибся чуток. V=¬X (для проверки можно построить таблицу истинности).

@RikiTavi · 15.04.2012, 19:10 **[ТС]**

Как так получилось?

Добавлено через 4 минуты
а U хоть правильно не знаете?

@Владимир_ВМ · 15.04.2012, 19:25

Для V так получилось поскольку вы не правельно сделали инверсию самой первой скобки.
Для формулы U я также получил ¬Х.
В самом низу листика если применить для первой скобки операцию поглащения и затем применить ей к новому получившемуся результату то получите ¬Х. Т.о. образом формула V равносильна формуле U. Я могу сюда скинуть решение только не знаю как.)

@RikiTavi · 15.04.2012, 19:37 **[ТС]**

Там где дополнительные опции есть вложения там выбираете файл и скидываете.

Добавлено через 1 минуту
и спасибо вам огромное, что потратили на меня свое время и поздравляю вас с праздником .

@Владимир_ВМ · 15.04.2012, 21:38

@RikiTavi 1 / 1 / 0 Регистрация: 07.05.2011 Сообщений: 15
		1
	Равносильность функций 15.04.2012, 17:00. Показов 1038. Ответов 7 Метки нет (Все метки) Проверьте пожалуйста решение.Там надо доказать являются ли функции равносильными Миниатюры 0

@Владимир_ВМ 128 / 109 / 103 Регистрация: 16.05.2011 Сообщений: 340
	15.04.2012, 17:56	2
	У вас в преобразовании формулы V есть ошибка в месте где идёт инверсия над скобкой, а именно Хv(¬Yv¬Z). Инверсия данной скобки будет (¬X^(YvZ))=(¬Х^Y)v(¬X^Z). Преобразование формулы V у меня привело к V=¬XvY^Z. А с чем именно вы должны сравнить? 0

@RikiTavi 1 / 1 / 0 Регистрация: 07.05.2011 Сообщений: 15
	15.04.2012, 18:04 [ТС]	3
	Надо сравнить с U..ответ находится в самом конце Добавлено через 3 минуты Сообщение от Владимир_ВМ У вас в преобразовании формулы V есть ошибка в месте где идёт инверсия над скобкой, а именно Хv(¬Yv¬Z). Инверсия данной скобки будет (¬X^(YvZ))=(¬Х^Y)v(¬X^Z). Преобразование формулы V у меня привело к V=¬XvY^Z. А с чем именно вы должны сравнить? Это где цифра 2 в конце? 0

@Владимир_ВМ 128 / 109 / 103 Регистрация: 16.05.2011 Сообщений: 340
	15.04.2012, 18:39	4
	Извеняюсь ошибся чуток. V=¬X (для проверки можно построить таблицу истинности). 0

@RikiTavi 1 / 1 / 0 Регистрация: 07.05.2011 Сообщений: 15
	15.04.2012, 19:10 [ТС]	5
	Как так получилось? Добавлено через 4 минуты а U хоть правильно не знаете? 0

@Владимир_ВМ 128 / 109 / 103 Регистрация: 16.05.2011 Сообщений: 340
	15.04.2012, 19:25	6
	Для V так получилось поскольку вы не правельно сделали инверсию самой первой скобки. Для формулы U я также получил ¬Х. В самом низу листика если применить для первой скобки операцию поглащения и затем применить ей к новому получившемуся результату то получите ¬Х. Т.о. образом формула V равносильна формуле U. Я могу сюда скинуть решение только не знаю как.) 1

@RikiTavi 1 / 1 / 0 Регистрация: 07.05.2011 Сообщений: 15
	15.04.2012, 19:37 [ТС]	7
	Там где дополнительные опции есть вложения там выбираете файл и скидываете. Добавлено через 1 минуту и спасибо вам огромное, что потратили на меня свое время и поздравляю вас с праздником . 0

@Владимир_ВМ 128 / 109 / 103 Регистрация: 16.05.2011 Сообщений: 340
	15.04.2012, 21:38	8
	0

Опции темы