Доказать или опровергнуть тождество

@DenisLeaL · Регистрация: 11.12.2018

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

Помогите плез! Доказать или опровергнуть тождество:

(X2⊕X3)→(X3∨¬X4)(X1→¬(X2X3)≡¬X2∨(X4→X3)

Таблицу истинности со значениями вроде сделал. В конечном итоге получились все единицы. А как доказать?

@kabenyuk · 11.12.2018, 19:15

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

В конечном итоге получились все единицы. А как доказать?

Ну а это и есть доказательство?

@DenisLeaL · 11.12.2018, 19:31 **[ТС]**

kabenyuk, вы меня спрашиваете?)

@kabenyuk · 12.12.2018, 07:09

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

вы меня спрашиваете?

Нет, это и есть доказательство!

@Mikl___ · 12.12.2018, 14:11

$https://www.cyberforum.ru/cgi-bin/latex.cgi?(X_{2}\oplus X_{3})\rightarrow(X_{3}+\bar{X_{4}})(X_{1}\rightarrow\bar{(X_{2}X_{3})}=\bar{(X_{2}\oplus X_{3})}+(X_{3}+\bar{X_{4}})(\bar{X_{1}}+\bar{(X_{2}X_{3})}=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}\cdot\bar{X_{3}}+X_{2}X_{3}+(X_{3}+\bar{X_{4}})(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}\cdot\bar{X_{3}}+X_{3}(\bar{X_{1}}+\bar{X_{2}}+X_{2})+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=\bar{X_{2}}\cdot\bar{X_{3}}+X_{3}(\bar{X_{1}}+1)+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=(\bar{X_{2}}+X_{3})(\bar{X_{3}}+X_{3})+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=(\bar{X_{2}}+\bar{X_{4}}\bar{X_{2}})+X_{3}+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{3}})=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}(1+\bar{X_{4}})+(X_{3}+\bar{X_{4}}\bar{X_{3}})+\bar{X_{4}}\bar{X_{1}}=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}+(X_{3}+\bar{X_{4}})(X_{3}+\bar{X_{3}})+\bar{X_{4}}\bar{X_{1}}=\bar{X_{2}}+X_{3}+(\bar{X_{4}}+\bar{X_{4}}\bar{X_{1}})=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}+X_{3}+\bar{X_{4}}(1+\bar{X_{1}})=\bar{X_{2}}+X_{3}+\bar{X_{4}}=\bar{X_{2}}+(X_{4}\rightarrow X_{3})$

@3D Homer · 12.12.2018, 16:50

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

А как доказать?

Почему вы не считаете построение таблицы истинности доказательством? Какого рода доказательство вам нужно?

@Mikl___ · 12.12.2018, 17:01

DenisLeaL,
для начала прочитай правила форума

5. Запреты и ограничения
5.5. Запрещено размещать тему в нескольких подразделах одного раздела одновременно (кросспостинг), а также дублировать тему в одном разделе.

Доказать или опровергнуть тождество

@DenisLeaL · 12.12.2018, 17:13 **[ТС]**

Какого рода не понятно. В задании так и есть - доказать или опровергнуть..и все. Может быть Вы и правы, что таблицы истинности достаточно.

@DenisLeaL 0 / 0 / 0 Регистрация: 11.12.2018 Сообщений: 28
		1
	Доказать или опровергнуть тождество 11.12.2018, 18:59. Показов 3379. Ответов 7 Метки дискретная (Все метки) Помогите плез! Доказать или опровергнуть тождество: (X2⊕X3)→(X3∨¬X4)(X1→¬(X2X3)≡¬X2∨(X4→X3) Таблицу истинности со значениями вроде сделал. В конечном итоге получились все единицы. А как доказать? 0

@kabenyuk $Эксперт по математике/физике$ 4183 / 3051 / 919 Регистрация: 19.11.2012 Сообщений: 6,196
	11.12.2018, 19:15	2
	Сообщение от DenisLeaL В конечном итоге получились все единицы. А как доказать? Ну а это и есть доказательство? 0

@DenisLeaL 0 / 0 / 0 Регистрация: 11.12.2018 Сообщений: 28
	11.12.2018, 19:31 [ТС]	3
	kabenyuk, вы меня спрашиваете?) 0

@kabenyuk $Эксперт по математике/физике$ 4183 / 3051 / 919 Регистрация: 19.11.2012 Сообщений: 6,196
	12.12.2018, 07:09	4
	Сообщение от DenisLeaL вы меня спрашиваете? Нет, это и есть доказательство! 1

@Mikl___ Ушел с форума 16338 / 7659 / 1075 Регистрация: 11.11.2010 Сообщений: 13,699
	12.12.2018, 14:11	5
	Сообщение было отмечено DenisLeaL как решение Решение $https://www.cyberforum.ru/cgi-bin/latex.cgi?(X_{2}\oplus X_{3})\rightarrow(X_{3}+\bar{X_{4}})(X_{1}\rightarrow\bar{(X_{2}X_{3})}=\bar{(X_{2}\oplus X_{3})}+(X_{3}+\bar{X_{4}})(\bar{X_{1}}+\bar{(X_{2}X_{3})}=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}\cdot\bar{X_{3}}+X_{2}X_{3}+(X_{3}+\bar{X_{4}})(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}\cdot\bar{X_{3}}+X_{3}(\bar{X_{1}}+\bar{X_{2}}+X_{2})+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=\bar{X_{2}}\cdot\bar{X_{3}}+X_{3}(\bar{X_{1}}+1)+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=(\bar{X_{2}}+X_{3})(\bar{X_{3}}+X_{3})+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=(\bar{X_{2}}+\bar{X_{4}}\bar{X_{2}})+X_{3}+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{3}})=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}(1+\bar{X_{4}})+(X_{3}+\bar{X_{4}}\bar{X_{3}})+\bar{X_{4}}\bar{X_{1}}=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}+(X_{3}+\bar{X_{4}})(X_{3}+\bar{X_{3}})+\bar{X_{4}}\bar{X_{1}}=\bar{X_{2}}+X_{3}+(\bar{X_{4}}+\bar{X_{4}}\bar{X_{1}})=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}+X_{3}+\bar{X_{4}}(1+\bar{X_{1}})=\bar{X_{2}}+X_{3}+\bar{X_{4}}=\bar{X_{2}}+(X_{4}\rightarrow X_{3})$ 1

@3D Homer $Эксперт по математике/физике$ 5003 / 3615 / 1162 Регистрация: 01.09.2014 Сообщений: 9,768
	12.12.2018, 16:50	6
	Сообщение от DenisLeaL А как доказать? Почему вы не считаете построение таблицы истинности доказательством? Какого рода доказательство вам нужно? 1

@Mikl___ Ушел с форума 16338 / 7659 / 1075 Регистрация: 11.11.2010 Сообщений: 13,699
	12.12.2018, 17:01	7
	DenisLeaL, для начала прочитай правила форума 5. Запреты и ограничения 5.5. Запрещено размещать тему в нескольких подразделах одного раздела одновременно (кросспостинг), а также дублировать тему в одном разделе. Доказать или опровергнуть тождество 0

@DenisLeaL 0 / 0 / 0 Регистрация: 11.12.2018 Сообщений: 28
	12.12.2018, 17:13 [ТС]	8
	Какого рода не понятно. В задании так и есть - доказать или опровергнуть..и все. Может быть Вы и правы, что таблицы истинности достаточно. 0

Доказать или опровергнуть тождество

Решение