Докажите,что следующие формулы являются тавтологиями

@Deformhatesyou · Регистрация: 06.11.2013

(X=>y) => ((y=>z)=>(x=>z))

(X"=>y")=>(y=>x)

@Mikl___ · 18.03.2014, 10:42

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

Добавлено через 6 минут
$https://www.cyberforum.ru/cgi-bin/latex.cgi?(\bar{x}\rightarrow\bar{y})\rightarrow(y\rightarrow x)=(x+\bar{y})\rightarrow(\bar{y}+x)=\bar{(x+\bar{y})}+\bar{y}+x=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{x}y+\bar{y}+x=\bar{x}+\bar{y}+x=(\bar{x}+x)+\bar{y}=1+\bar{y}=1$

@Deformhatesyou 0 / 0 / 0 Регистрация: 06.11.2013 Сообщений: 5
		1
	Докажите,что следующие формулы являются тавтологиями 18.03.2014, 10:21. Показов 4141. Ответов 1 Метки нет (Все метки) (X=>y) => ((y=>z)=>(x=>z)) (X"=>y")=>(y=>x) 0

@Mikl___ Ушел с форума 15840 / 7422 / 994 Регистрация: 11.11.2010 Сообщений: 13,386
	18.03.2014, 10:42	2
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?(x\rightarrow y)\rightarrow((y\rightarrow z)\rightarrow(x\rightarrow z)= (\bar{x}+y)\rightarrow((\bar{y}+z)\rightarrow(\bar{x}+z))=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{(\bar{x}+y)}+(\bar{(\bar{y}+z)}+\bar{x}+z)=x\bar{y}+y\bar{z}+\bar{x}+z=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=(x\bar{y}+\bar{x})+(y\bar{z}+z)=\bar{y}+\bar{x}+y+z=(\bar{y}+y)+\bar{x}+z=1+\bar{x}+z=1$ Добавлено через 6 минут $https://www.cyberforum.ru/cgi-bin/latex.cgi?(\bar{x}\rightarrow\bar{y})\rightarrow(y\rightarrow x)=(x+\bar{y})\rightarrow(\bar{y}+x)=\bar{(x+\bar{y})}+\bar{y}+x=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{x}y+\bar{y}+x=\bar{x}+\bar{y}+x=(\bar{x}+x)+\bar{y}=1+\bar{y}=1$ 0

Опции темы