Помогите, пожалуйста, с решением!! ! с помощью кругов Эйлера доказать тождество: ( А \/ B ) /\ А = А /\ В

\/ это "или" ? /\ это "и" ?
Тождество неверное: пусть А и В имеют пустое пересечение.

Тогда (А \/ В) /\ А=А, но А /\ В=0.