Аналитическим способом докажите справедливость тождеств

@qwermihey · Регистрация: 05.09.2012

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

Аналитическим способом, т.е. на основе формул в зависимости между логическими операциями, докажите справедливость ниже приведенных тождеств. Представьте одно из выражение в базисе элементарных функций. В наборе номеров базисных функций должны фигурировать цифры вашего варианта. Для четного варианта-это базис И-НЕ, а для нечетного-базис ИЛИ-НЕ.

Аналитическим способом докажите справедливость тождеств

@kazak · 16.09.2012, 19:33

$https://www.cyberforum.ru/cgi-bin/latex.cgi?((a\bar c) \downarrow (bc))((d | a)bd) = (\bar {a \bar c} \, \bar {bc})((\bar d \vee \bar a)bd) = (\bar a \vee c)(\bar b \vee c)\bar abd = (\bar a \vee \bar b)\bar abcd = \bar abcd \, \, ((a | b) | (a \oplus \bar b)) \rightarrow ((c \oplus d)(d \rightarrow c)) = (\bar {\bar {ab} \, (a \oplus \bar b)}) \rightarrow ((\bar cd \vee c\bar d)(\bar d \vee c)) = (\bar {\bar {\bar {ab} \, (a \oplus \bar b)}}) \vee c\bar d = \bar {ab}(a \oplus \bar b) \vee c\bar d = (\bar a \vee \bar b)(\bar a\bar b \vee ab) \vee c\bar d = \bar a\bar b \vee c\bar d$

@qwermihey 0 / 0 / 0 Регистрация: 05.09.2012 Сообщений: 9
		1
	Аналитическим способом докажите справедливость тождеств 13.09.2012, 09:22. Показов 3091. Ответов 1 Метки нет (Все метки) Аналитическим способом, т.е. на основе формул в зависимости между логическими операциями, докажите справедливость ниже приведенных тождеств. Представьте одно из выражение в базисе элементарных функций. В наборе номеров базисных функций должны фигурировать цифры вашего варианта. Для четного варианта-это базис И-НЕ, а для нечетного-базис ИЛИ-НЕ. 0

@kazak 3344 / 2605 / 317 Регистрация: 11.03.2009 Сообщений: 5,943
	16.09.2012, 19:33	2
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?((a\bar c) \downarrow (bc))((d \| a)bd) = <br /> (\bar {a \bar c} \, \bar {bc})((\bar d \vee \bar a)bd) = <br /> (\bar a \vee c)(\bar b \vee c)\bar abd = <br /> (\bar a \vee \bar b)\bar abcd = <br /> \bar abcd<br /> \,<br /> \,<br /> ((a \| b) \| (a \oplus \bar b)) \rightarrow ((c \oplus d)(d \rightarrow c)) =<br /> (\bar {\bar {ab} \, (a \oplus \bar b)}) \rightarrow ((\bar cd \vee c\bar d)(\bar d \vee c)) =<br /> (\bar {\bar {\bar {ab} \, (a \oplus \bar b)}}) \vee c\bar d =<br /> \bar {ab}(a \oplus \bar b) \vee c\bar d =<br /> (\bar a \vee \bar b)(\bar a\bar b \vee ab) \vee c\bar d =<br /> \bar a\bar b \vee c\bar d$ 2

Опции темы