Помогите пожалуйста, упростить логические выражения и доказать их равносильность, даю...

Question

Помогите пожалуйста, упростить логические выражения и доказать их равносильность, даю макс. Баллов

---

Answer 1

¬(¬X*Y+Y)=¬(Y(¬X+1))=¬Y

¬(¬A+C)+B*¬C=A*¬C+B*¬C=¬C*(A+B)