Помогите разобраться, как доказать тождество

[was9]

A\(BUC) = (A\B)\C

Помогите разобраться. Как тут начинать
Может есть похожие примеры (хочу разобраться)

[tig81]

докажите при помощи диаграмм Эйлера

[was9]

Правильно ли я нарисовал?

[tig81]

Да, правильно

[was9]

[was9]

Правильно сделал?

У меня нужно еще решить и символьно (написать, расписать)

[tig81]

как от второго выражения перешли к третьему?

[was9]

хз логически понимаю а как расписать не знаю 

[tig81]

ну так вроде правильно, только вместо запятых надо либо "и", либо "или"

[was9]

 либо правильно либо нет

[tig81]

да, там "и"

[was9]

Я не знаю как расписывать это.  Может подскажите.

[was9]

UP!

Как то не получается доказать (пошел с конца пока застрял)



Ну вот давайте рассмотрим пример



Мне нужно так же сделать не знаю как начать помогите

[was9]

Проверьте правильно сделал?

[was9]

Проверьте правильно сделал или нет?