Помогите с преобразованием выражений с помощью законов логики

Ответ:

Пошаговое объяснение:

1. ¬A ∧ ¬(B ∨ A) = ¬A ∧ ¬B ∧ ¬A = ¬A ∧ ¬B
2. A ∧ (¬(B ∧ C) ∨ C) = A ∧ ¬B ∨ ¬C ∨ C = A ∧ ¬B
3. A ∧ ¬(¬(B∨C)∨¬C) = A ∧ ¬(¬B ∧ ¬C ∨ ¬C) = A ∧ (B ∨ C ∧ C) = A ∧ (B ∨ C)
4. ((B ⇒ C)∨C) ∧ B = ((B ∨ ¬C) ∨ C) ∧ B = B ∧ B = B
5. ¬(¬(B+¬A) + A)· ¬C = ¬(¬B·A+A)·¬C = B+ ¬A · ¬A · ¬C= B+ ¬A· ¬C