|
((B∨C)∧(D∨(¬B∧¬C)))∨(¬D∧¬A)((C∨B)∧(¬D∨¬C)) Я только смог упростить до (¬D∧¬A)((C∨B)∧(¬D∨¬C)). Правильно ли? А если нет, то как надо? задан 20 Мар '13 18:10 
Про |
|
$$(B \vee C)(D \vee \bar{B}\bar{C}) = BD\vee B\bar BC \vee CD \vee C\bar B\bar C = BD \vee CD$$ $$(C\vee B)(\bar D\vee\bar C)=C\bar D\vee C\bar C \vee B\bar D \vee B\bar C = C\bar D\ \vee B\bar D \vee B\bar C$$ $$\bar{D}\bar{A}(C\vee B)(\bar D\vee\bar C)=\bar{D}\bar{A}(C\bar D\ \vee B\bar D \vee B\bar C)=\bar AC\bar D \vee \bar AB\bar D\vee \bar AB\bar C\bar D$$ $$(B \vee C)(D \vee \bar{B}\bar{C})\vee\bar{D}\bar{A}(C\vee B)(\bar D\vee\bar C) = C\bar D\ \vee B\bar D \vee B\bar C \vee \bar AC\bar D \vee \bar AB\bar D\vee \bar AB\bar C\bar D$$ Первое и четвёртое слагаемое по закону поглощения упрощается до $%C\bar D$%, второе, пятое и шестое по этому же закону - до $%B\bar D$%. Поэтому ответ выглядит так: $%B\bar D \vee C\bar D \vee B\bar C$%. Это выражение далее упростить нельзя. отвечен 21 Мар '13 7:34 
MathTrbl Здесь черта над буквой - то же самое, что и ¬
(21 Мар '13 7:35)
MathTrbl
|
Условие выглядит странно: одна формула как бы сливается со следующей. Часто бывает, что произведение означает конъюнкцию, но здесь она обозначена символом $%\wedge$%.