Упрощение формулы логики высказываний

@Максим1488 · Регистрация: 25.10.2012

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

Подскажите как лучше действовать в данном примере,раскрывал по разному,но ничего толкового не выходит.
Знак |-означает отрицание.

$https://www.cyberforum.ru/cgi-bin/latex.cgi?\left(B\vee D \right)\wedge \left(C\wedge |A \right\vee |A\wedge |B\vee A\wedge C\vee A\wedge |B)\wedge \left(B\vee |D \right)$

@kazak · 01.12.2013, 22:03

$https://www.cyberforum.ru/cgi-bin/latex.cgi?(B \vee D)(C\bar A \vee \bar A\bar B \vee AC \vee A\bar B)(B \vee \bar D)=<br /> (B \vee D)(B \vee \bar D)(C\bar A \vee AC \vee \bar A\bar B \vee A\bar B)=<br /> (B \vee D\bar D)(C(\bar A \vee A) \vee \bar B(\bar A \vee A)) = B(C \vee \bar B) = <br /> BC \vee B\bar B = BC$

@Максим1488 0 / 0 / 2 Регистрация: 25.10.2012 Сообщений: 248
		1
	Упрощение формулы логики высказываний 01.12.2013, 12:42. Показов 1075. Ответов 1 Метки нет (Все метки) Подскажите как лучше действовать в данном примере,раскрывал по разному,но ничего толкового не выходит. Знак \|-означает отрицание. $https://www.cyberforum.ru/cgi-bin/latex.cgi?\left(B\vee D \right)\wedge \left(C\wedge \|A \right\vee \|A\wedge \|B\vee A\wedge C\vee A\wedge \|B)\wedge \left(B\vee \|D \right)$ 0

@kazak 3528 / 2686 / 334 Регистрация: 11.03.2009 Сообщений: 6,168
	01.12.2013, 22:03	2
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?(B \vee D)(C\bar A \vee \bar A\bar B \vee AC \vee A\bar B)(B \vee \bar D)=<br /> (B \vee D)(B \vee \bar D)(C\bar A \vee AC \vee \bar A\bar B \vee A\bar B)=<br /> (B \vee D\bar D)(C(\bar A \vee A) \vee \bar B(\bar A \vee A)) = B(C \vee \bar B) = <br /> BC \vee B\bar B = BC$ 3