Помогите пожалуйста, упростить логические выражения и доказать их равносильность, даю макс. Баллов
¬(¬X*Y+Y)=¬(Y(¬X+1))=¬Y ¬(¬A+C)+B*¬C=A*¬C+B*¬C=¬C*(A+B)
