Является ли формула тавтологией

@Здорова на · Регистрация: 03.06.2018

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

$https://www.cyberforum.ru/cgi-bin/latex.cgi?((p\supset q)&(q\supset p)&(p v r)&\dashv r)\supset p$

@Ellipsoid · 04.06.2018, 11:41

Что в вашем случае означает знак $https://www.cyberforum.ru/cgi-bin/latex.cgi?\dashv$ ? Предполагаю, что его тут быть не должно...

@Здорова на · 04.06.2018, 16:41 **[ТС]**

Там именно такой знак и был!

@Mikl___ · 04.06.2018, 17:35

$https://www.cyberforum.ru/cgi-bin/latex.cgi?((p\rightarrow q)(q\rightarrow p)(p+r)\bar{r})\rightarrow p=(\bar{p}+q)(\bar{q}+p)(p\bar{r}+r\bar{r})\rightarrow p=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=(\bar{p}\bar{q}+\bar{p}p+q\bar{q}+qp)(p\bar{r}+r\bar{r})\rightarrow p=(\bar{p}\bar{q}+0+0+qp)(p\bar{r}+0)\rightarrow p=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=(\bar{p}\bar{q}+qp)p\bar{r}\rightarrow p=(\bar{p}p\bar{q}\bar{r}+qpp\bar{r})\rightarrow p=(0+qpp\bar{r})\rightarrow p=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{qp\bar{r}}+p=\bar{q}+\bar{p}+\bar{\bar{r}}+p=\bar{q}+(\bar{p}+p)+r=\bar{q}+1+r=1$

@Ellipsoid · 04.06.2018, 22:34

Сообщение от Здорова на

Там именно такой знак и был!

Это не тот знак.

@Здорова на 0 / 0 / 0 Регистрация: 03.06.2018 Сообщений: 42
		1
	Является ли формула тавтологией 04.06.2018, 09:36. Показов 647. Ответов 4 Метки нет (Все метки) $https://www.cyberforum.ru/cgi-bin/latex.cgi?((p\supset q)&(q\supset p)&(p v r)&\dashv r)\supset p$ 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	04.06.2018, 11:41	2
	Что в вашем случае означает знак $https://www.cyberforum.ru/cgi-bin/latex.cgi?\dashv$ ? Предполагаю, что его тут быть не должно... 0

@Здорова на 0 / 0 / 0 Регистрация: 03.06.2018 Сообщений: 42
	04.06.2018, 16:41 [ТС]	3
	Там именно такой знак и был! Изображения 0

@Mikl___ Ушел с форума 16277 / 7602 / 1064 Регистрация: 11.11.2010 Сообщений: 13,617
	04.06.2018, 17:35	4
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?((p\rightarrow q)(q\rightarrow p)(p+r)\bar{r})\rightarrow p=(\bar{p}+q)(\bar{q}+p)(p\bar{r}+r\bar{r})\rightarrow p=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=(\bar{p}\bar{q}+\bar{p}p+q\bar{q}+qp)(p\bar{r}+r\bar{r})\rightarrow p=(\bar{p}\bar{q}+0+0+qp)(p\bar{r}+0)\rightarrow p=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=(\bar{p}\bar{q}+qp)p\bar{r}\rightarrow p=(\bar{p}p\bar{q}\bar{r}+qpp\bar{r})\rightarrow p=(0+qpp\bar{r})\rightarrow p=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{qp\bar{r}}+p=\bar{q}+\bar{p}+\bar{\bar{r}}+p=\bar{q}+(\bar{p}+p)+r=\bar{q}+1+r=1$ 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	04.06.2018, 22:34	5
	Сообщение от Здорова на Там именно такой знак и был! Это не тот знак. 0

Опции темы