Упростите логическое уравнение эквивалентными преобразованиями до минимального возможного количества используемых базисных операций. Упростите логическое выражение. ((C+B)⇒B) (A+B)⇒B

Предыдущий
вопрос Следующий
вопрос

Используем законы де Моргана и поглощения:

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

Итоговый вид уравнения: ¬A ∧ ((¬C ∧ ¬B) ∨ B)