На основе законов алгебры логики докажите справедливость тождеств

@flwlss4q · Регистрация: 06.02.2018

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

для тех кому сделать это занимает несколько минут
пАмАгите
1) Аналитическим способом (на основе законов алгебры логики) докажите
справедливость тождеств.
2) С помощью диаграмм Эйлера-Венна подтвердите справедливость
проведенного доказательства.

@Mikl___ · 23.05.2018, 14:09

$https://www.cyberforum.ru/cgi-bin/latex.cgi?((a|b)|(a\leftrightarrow b))|((c\oplus{d})\rightarrow (d\wedge\bar{c}))=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=((\bar{ab})|(\bar{a}\bar{b}+ab))|(\bar{(\bar{c}d+c\bar{d})}+d\bar{c})=(\bar{(\bar{ab})(\bar{a}\bar{b}+ab)}|((\bar{c}\bar{d}+cd)+d\bar{c})=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=(\bar{\bar{ab}}+\bar{(\bar{a}\bar{b}+ab)})|(\bar{c}\bar{d}+d(c+\bar{c}))=(a(b+\bar{b})+\bar{a}b)|(\bar{c}\bar{d}+d)=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=(a+\bar{a}b)|(\bar{c}+d)=\bar{(a+b)(\bar{c}+d)}=\bar{(a+b)}+\bar{(\bar{c}+d)}=\bar{a}\bar{b}+c\bar{d}$

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

@flwlss4q 0 / 0 / 0 Регистрация: 06.02.2018 Сообщений: 10
		1
	На основе законов алгебры логики докажите справедливость тождеств 22.05.2018, 16:57. Показов 2229. Ответов 1 Метки нет (Все метки) для тех кому сделать это занимает несколько минут пАмАгите 1) Аналитическим способом (на основе законов алгебры логики) докажите справедливость тождеств. 2) С помощью диаграмм Эйлера-Венна подтвердите справедливость проведенного доказательства. Миниатюры 0

@Mikl___ Ушел с форума 16279 / 7604 / 1065 Регистрация: 11.11.2010 Сообщений: 13,617
	23.05.2018, 14:09	2
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?((a\|b)\|(a\leftrightarrow b))\|((c\oplus{d})\rightarrow (d\wedge\bar{c}))=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=((\bar{ab})\|(\bar{a}\bar{b}+ab))\|(\bar{(\bar{c}d+c\bar{d})}+d\bar{c})=(\bar{(\bar{ab})(\bar{a}\bar{b}+ab)}\|((\bar{c}\bar{d}+cd)+d\bar{c})=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=(\bar{\bar{ab}}+\bar{(\bar{a}\bar{b}+ab)})\|(\bar{c}\bar{d}+d(c+\bar{c}))=(a(b+\bar{b})+\bar{a}b)\|(\bar{c}\bar{d}+d)=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=(a+\bar{a}b)\|(\bar{c}+d)=\bar{(a+b)(\bar{c}+d)}=\bar{(a+b)}+\bar{(\bar{c}+d)}=\bar{a}\bar{b}+c\bar{d}$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?((b\rightarrow c)\rightarrow (a\wedge\bar{c}))\downarrow((a\|d)\|(d\rightarrow\bar{b}))=(\bar{(\bar{b}+c)}+a\bar{c})\downarrow(\bar{\bar{(ad)}\bar{(\bar{d}+\bar{b})}})=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{(b\bar{c}+a\bar{c})+\bar{(\bar{a}+\bar{d}+\bar{d}+\bar{b}})}=\bar{(b\bar{c}+a\bar{c})+\bar{(\bar{a}+\bar{d}+\bar{b}})}=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{(b+a)\bar{c}+adb}=\bar{(b+a)\bar{c}}\bar{adb}=(\bar{(b+a)}+c)(\bar{a}+\bar{d}+\bar{b})=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=(\bar{b}\bar{a}+c)(\bar{a}+\bar{d}+\bar{b})=\bar{b}\bar{a}+\bar{b}\bar{a}\bar{d}+\bar{b}\bar{a}+\bar{a}c+\bar{d}c+\bar{b}c=\bar{b}\bar{a}(1+\bar{d})+\bar{a}c+\bar{d}c+\bar{b}c=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{b}\bar{a}+\bar{a}c+\bar{d}c+\bar{b}c$ 1