Используем законы де Моргана и поглощения:
(C+B)⇒B(C+B)⇒B(C+B)⇒B A+BA+BA+B⇒B¬(C+B)∨B¬(C+B) ∨ B¬(C+B)∨B ∧ ¬(A+B)∨B¬(A+B) ∨ B¬(A+B)∨B // по определению импликации(¬C∧¬B)∨B(¬C ∧ ¬B) ∨ B(¬C∧¬B)∨B ∧ ¬A∧¬B∨B¬A ∧ ¬B ∨ B¬A∧¬B∨B // закон де Моргана(¬C∧¬B)∨B(¬C ∧ ¬B) ∨ B(¬C∧¬B)∨B ∧ ¬A // закон поглощения¬A ∧ (¬C∧¬B)∨B(¬C ∧ ¬B) ∨ B(¬C∧¬B)∨B // перестановка слагаемых
Итоговый вид уравнения: ¬A ∧ (¬C∧¬B)∨B(¬C ∧ ¬B) ∨ B(¬C∧¬B)∨B
Используем законы де Моргана и поглощения:
(C+B)⇒B(C+B)⇒B(C+B)⇒B A+BA+BA+B⇒B
¬(C+B)∨B¬(C+B) ∨ B¬(C+B)∨B ∧ ¬(A+B)∨B¬(A+B) ∨ B¬(A+B)∨B // по определению импликации
(¬C∧¬B)∨B(¬C ∧ ¬B) ∨ B(¬C∧¬B)∨B ∧ ¬A∧¬B∨B¬A ∧ ¬B ∨ B¬A∧¬B∨B // закон де Моргана
(¬C∧¬B)∨B(¬C ∧ ¬B) ∨ B(¬C∧¬B)∨B ∧ ¬A // закон поглощения
¬A ∧ (¬C∧¬B)∨B(¬C ∧ ¬B) ∨ B(¬C∧¬B)∨B // перестановка слагаемых
Итоговый вид уравнения: ¬A ∧ (¬C∧¬B)∨B(¬C ∧ ¬B) ∨ B(¬C∧¬B)∨B