Используя основные эквивалентности исчисления высказываний, проверить равенства

@naon · Регистрация: 11.09.2013

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

Используя основные эквивалентности исчисления высказываний, проверить равенства:
2) $https://www.cyberforum.ru/cgi-bin/latex.cgi?\(B \bar{C} \vee ABC \vee C \bar{AB} ) ( A \bar{B} \vee \bar{A} \bar{B} \vee AB \bar{C} )= AB \bar{C} \vee \bar{B} C$
Буду признателен за любые подсказки как сделать это или же за ответ.Набрал кучу методичек но не получается доказать.

@naon · 14.09.2013, 16:41 **[ТС]**

$https://www.cyberforum.ru/cgi-bin/latex.cgi?\(B \bar{C} \vee ABC \vee C \bar{AB} ) ( A \bar{B} \vee \bar{A} \bar{B} \vee AB \bar{C} )= AB \bar{C} \vee \bar{B} C$
Помогите с проблемкой.В ответе не получается до конца нужный вариант ответа. Подскажите где ошибка или что с ответом сделать можно)))
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\ (B \bar{C} \vee ABC \vee C \bar{AB})=(B \bar{C} \vee C(AB\vee\bar{AB})) =(B\bar{C} \vee C ((A \vee \bar{A})(B \vee \bar{B})) =B\bar{C} \vee C=B \vee C$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\ ( A \bar{B} \vee \bar{A} \bar{B} \vee AB \bar{C} )=(\bar{B} (A \vee \bar{A}) \vee AB\bar{C} )= ( \bar{B} \vee AB\bar{C})$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\ (\bar{B} \vee AB \bar{C}) (B \vee C)= ( B*AB\bar{C} \vee C* \bar{B} \vee C*AB\bar{C})= \bar{B}C \vee BAB\bar{C} \vee CAB\bar{C} =\bar{B}C \vee AB\bar{C} (BC)= ?$
Подскажите где ошибка? или что делать дальше?

OldFedor · 14.09.2013, 17:12

$https://www.cyberforum.ru/cgi-bin/latex.cgi?(3)=\bar{b}b+\bar{b}c+abb\bar{c}+ab\bar{c}c = \bar{b}c+ab\bar{c}$

@naon · 15.09.2013, 00:52 **[ТС]**

Сообщение от OldFedor

$https://www.cyberforum.ru/cgi-bin/latex.cgi?(3)=\bar{b}b+\bar{b}c+abb\bar{c}+ab\bar{c}c = \bar{b}c+ab\bar{c}$

На сколько я понял это продолжения после моего знака вопроса.спасибо)
А не могли бы обьяснить как получается из " $https://www.cyberforum.ru/cgi-bin/latex.cgi?abb\bar{c}+ab\bar{c}c = ab\bar{c}$ "
+ это знак $https://www.cyberforum.ru/cgi-bin/latex.cgi?\vee$ ?)

OldFedor · 15.09.2013, 09:50

Сообщение от naon

+ это знак ?

Да, они равнозначны.

Сообщение от naon

А не могли бы обьяснить как получается из

b*b=b; c*inv(c)=0.
Т.е. второе слагаемое - суть ноль.

@naon · 15.09.2013, 11:24 **[ТС]**

То есть вот это все равно нулю $https://www.cyberforum.ru/cgi-bin/latex.cgi?ab\bar{c}c$
Из за $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{c}c$ ,так как это равно нулю..Я правильно понял?

OldFedor · 15.09.2013, 12:30

Сообщение от naon

Я правильно понял?

Верно.

@naon · 15.09.2013, 12:36 **[ТС]**

Спасибо

@naon 1 / 1 / 1 Регистрация: 11.09.2013 Сообщений: 283
		1
	Используя основные эквивалентности исчисления высказываний, проверить равенства 12.09.2013, 19:11. Показов 1914. Ответов 7 Метки нет (Все метки) Используя основные эквивалентности исчисления высказываний, проверить равенства: 2) $https://www.cyberforum.ru/cgi-bin/latex.cgi?\(B \bar{C} \vee ABC \vee C \bar{AB} ) ( A \bar{B} \vee \bar{A} \bar{B} \vee AB \bar{C} )= AB \bar{C} \vee \bar{B} C$ Буду признателен за любые подсказки как сделать это или же за ответ.Набрал кучу методичек но не получается доказать. 0

@naon 1 / 1 / 1 Регистрация: 11.09.2013 Сообщений: 283
	14.09.2013, 16:41 [ТС]	2
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?\(B \bar{C} \vee ABC \vee C \bar{AB} ) ( A \bar{B} \vee \bar{A} \bar{B} \vee AB \bar{C} )= AB \bar{C} \vee \bar{B} C$ Помогите с проблемкой.В ответе не получается до конца нужный вариант ответа. Подскажите где ошибка или что с ответом сделать можно))) $https://www.cyberforum.ru/cgi-bin/latex.cgi?\ (B \bar{C} \vee ABC \vee C \bar{AB})=(B \bar{C} \vee C(AB\vee\bar{AB})) =(B\bar{C} \vee C ((A \vee \bar{A})(B \vee \bar{B})) =B\bar{C} \vee C=B \vee C$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?\ ( A \bar{B} \vee \bar{A} \bar{B} \vee AB \bar{C} )=(\bar{B} (A \vee \bar{A}) \vee AB\bar{C} )= ( \bar{B} \vee AB\bar{C})$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?\ (\bar{B} \vee AB \bar{C}) (B \vee C)= ( BAB\bar{C} \vee C \bar{B} \vee C*AB\bar{C})= \bar{B}C \vee BAB\bar{C} \vee CAB\bar{C} =\bar{B}C \vee AB\bar{C} (BC)= ?$ Подскажите где ошибка? или что делать дальше? 0

OldFedor 7485 / 4149 / 474 Регистрация: 25.08.2012 Сообщений: 11,530 Записей в блоге: 11
	14.09.2013, 17:12	3
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?(3)=\bar{b}b+\bar{b}c+abb\bar{c}+ab\bar{c}c = \bar{b}c+ab\bar{c}$ 1

@naon 1 / 1 / 1 Регистрация: 11.09.2013 Сообщений: 283
	15.09.2013, 00:52 [ТС]	4
	Сообщение от OldFedor $https://www.cyberforum.ru/cgi-bin/latex.cgi?(3)=\bar{b}b+\bar{b}c+abb\bar{c}+ab\bar{c}c = \bar{b}c+ab\bar{c}$ На сколько я понял это продолжения после моего знака вопроса.спасибо) А не могли бы обьяснить как получается из " $https://www.cyberforum.ru/cgi-bin/latex.cgi?abb\bar{c}+ab\bar{c}c = ab\bar{c}$ " + это знак $https://www.cyberforum.ru/cgi-bin/latex.cgi?\vee$ ?) 0

OldFedor 7485 / 4149 / 474 Регистрация: 25.08.2012 Сообщений: 11,530 Записей в блоге: 11
	15.09.2013, 09:50	5
	Сообщение от naon + это знак ? Да, они равнозначны. Сообщение от naon А не могли бы обьяснить как получается из bb=b; cinv(c)=0. Т.е. второе слагаемое - суть ноль. 0

@naon 1 / 1 / 1 Регистрация: 11.09.2013 Сообщений: 283
	15.09.2013, 11:24 [ТС]	6
	То есть вот это все равно нулю $https://www.cyberforum.ru/cgi-bin/latex.cgi?ab\bar{c}c$ Из за $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{c}c$ ,так как это равно нулю..Я правильно понял? 0

OldFedor 7485 / 4149 / 474 Регистрация: 25.08.2012 Сообщений: 11,530 Записей в блоге: 11
	15.09.2013, 12:30	7
	Сообщение от naon Я правильно понял? Верно. 1

@naon 1 / 1 / 1 Регистрация: 11.09.2013 Сообщений: 283
	15.09.2013, 12:36 [ТС]	8
	Спасибо 0