Аналитическим способом на основе формул взаимосвязи между логическими операциями,докажите

@Doberman214 · Регистрация: 27.05.2012

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

Аналитическим способом на основе формул взаимосвязи между логическими операциями,докажите справедливость тождеств

@kazak · 05.09.2012, 21:58

В левой части треугольники, или это конъюнкция небрежно написана?

@Doberman214 · 06.09.2012, 13:42 **[ТС]**

Треугольники

vetvet · 06.09.2012, 13:55

Doberman214, тогда вам нужно узнать у преподавателя или посмотреть в учебнике, какая логическая операция обозначается треугольником.

@Doberman214 · 06.09.2012, 15:10 **[ТС]**

Конъюнкция

@kazak · 06.09.2012, 20:10

Тогда эти выражения не эквивалентны
$https://www.cyberforum.ru/cgi-bin/latex.cgi?((a \downarrow b) \vee (a \oplus b)) \wedge ((c \wedge d) \downarrow (c \vee d)) = ((\bar a \wedge \bar b) \vee (\bar a \wedge b) \vee (a \wedge \bar b)) \wedge ((\bar {c \wedge d}) \wedge (\bar {c \vee d})) = (\bar a \vee \bar b) \wedge ((\bar c \vee \bar d) \wedge (\bar c \wedge \bar d)) = (\bar a \vee \bar b) \wedge (\bar c \vee \bar d)$

$https://www.cyberforum.ru/cgi-bin/latex.cgi?((c \rightarrow a) \wedge (c \rightarrow b)) \rightarrow ((a \downarrow d) \vee (b \downarrow d)) = ((\bar c \vee a) \wedge (\bar c \vee b)) \rightarrow ((\bar a \wedge \bar d) \vee (\bar b \wedge \bar d)) = (\bar c \vee (a \wedge b)) \rightarrow (\bar d \wedge (\bar a \vee \bar b)) = (\bar {\bar c \vee (a \wedge b)}) \vee (\bar d \wedge (\bar a \vee \bar b)) = (c \wedge (\bar a \vee \bar b)) \vee (\bar d \wedge (\bar a \vee \bar b)) = (\bar a \vee \bar b) \wedge (c \vee \bar d)$

@Doberman214 0 / 0 / 0 Регистрация: 27.05.2012 Сообщений: 20
		1
	Аналитическим способом на основе формул взаимосвязи между логическими операциями,докажите 05.09.2012, 19:20. Показов 2160. Ответов 5 Метки нет (Все метки) Аналитическим способом на основе формул взаимосвязи между логическими операциями,докажите справедливость тождеств Миниатюры 0

@kazak 3392 / 2644 / 327 Регистрация: 11.03.2009 Сообщений: 6,050
	05.09.2012, 21:58	2
	В левой части треугольники, или это конъюнкция небрежно написана? 0

@Doberman214 0 / 0 / 0 Регистрация: 27.05.2012 Сообщений: 20
	06.09.2012, 13:42 [ТС]	3
	Треугольники 0

vetvet Змеюка одышечная 9863 / 4594 / 178 Регистрация: 04.01.2011 Сообщений: 8,556
	06.09.2012, 13:55	4
	Doberman214, тогда вам нужно узнать у преподавателя или посмотреть в учебнике, какая логическая операция обозначается треугольником. 0

@Doberman214 0 / 0 / 0 Регистрация: 27.05.2012 Сообщений: 20
	06.09.2012, 15:10 [ТС]	5
	Конъюнкция 0

@kazak 3392 / 2644 / 327 Регистрация: 11.03.2009 Сообщений: 6,050
	06.09.2012, 20:10	6
	Тогда эти выражения не эквивалентны $https://www.cyberforum.ru/cgi-bin/latex.cgi?((a \downarrow b) \vee (a \oplus b)) \wedge ((c \wedge d) \downarrow (c \vee d)) = <br /> ((\bar a \wedge \bar b) \vee (\bar a \wedge b) \vee (a \wedge \bar b)) \wedge ((\bar {c \wedge d}) \wedge (\bar {c \vee d})) = <br /> (\bar a \vee \bar b) \wedge ((\bar c \vee \bar d) \wedge (\bar c \wedge \bar d)) = <br /> (\bar a \vee \bar b) \wedge (\bar c \vee \bar d)$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?((c \rightarrow a) \wedge (c \rightarrow b)) \rightarrow ((a \downarrow d) \vee (b \downarrow d)) =<br /> ((\bar c \vee a) \wedge (\bar c \vee b)) \rightarrow ((\bar a \wedge \bar d) \vee (\bar b \wedge \bar d)) =<br /> (\bar c \vee (a \wedge b)) \rightarrow (\bar d \wedge (\bar a \vee \bar b)) =<br /> (\bar {\bar c \vee (a \wedge b)}) \vee (\bar d \wedge (\bar a \vee \bar b)) =<br /> (c \wedge (\bar a \vee \bar b)) \vee (\bar d \wedge (\bar a \vee \bar b)) = <br /> (\bar a \vee \bar b) \wedge (c \vee \bar d)$ 2

Опции темы