Помогите доказать или опровергнуть тождественную истинность Номер 14 ** фото И нужен...

0 голосов
20 просмотров

Помогите доказать или опровергнуть тождественную истинность
Номер 14 на фото
И нужен ответ + решение
Заранее благодарна


image

Информатика (15 баллов) | 20 просмотров
Дан 1 ответ
0 голосов
Правильный ответ
F=(a\to b)\to((b \to c)\to(a\to c))=\overline{(a\to b)}+((b \to c)\to(a\to c)); \\ \overline{(a\to b)}=\overline{\overline a+b}=a\cdot\overline b; \\ (b \to c)\to(a\to c)=\overline{b\to c}+(a\to c)}=\overline{\overline b+c}+\overline a+c=b\overline c+\overline a+c; \\ F=(a\overline b+\overline a)+(b\overline c+c)=(\overline a+\overline b)+(b+c)=\overline a+c+(b+\overline b)= \\ \overline a+c+1=1
Выражение упростилось до 1, следовательно оно всегда истинно.

F=((a\to b)(c\to d)(\bar b+\bar d))\to(\bar a+\bar c)= \\ \overline{(a\to b)(c\to d)(\bar b+\bar d)}+\overline a+\oberline c=\overline{(a\to b)}+\overline{(c\to d)}+\overline{(\bar b\to \bar d)}+\bar a+\bar c= \\ \overline{\bar a+b}+\overline{\bar c+d}+\overline{\bar b+\bar d}+\bar a+\bar c=a\bar b+c\bar d+bd+\bar a+\bar c= \\ (a\bar b+\bar a)+(c\bar d+\bar c)+bd=\bar a+\bar b+\bar c+\bar d+bd=\bar a+\bar b+\bar c+(bd+\bar d)=
\bar a+\bar b+\bar c+b+\bar d=\bar a+(b+\bar b)+\bar c+\bar d=\bar a+1+\bar c+\bar d=1
Выражение упростилось до 1, следовательно оно всегда истинно.

(142k баллов)