Дискретная математика

[1qwertypower1]

Всем привет!
Помогите доказать такое тождество
( A | B ) Y ( A | ~B )=(A Y B) | ( A Y ~B)=A (~ дополнение; | пересечение; Y объединение)

[tig81]

В чем возникли трудности?
Выкладывайте свои наработки, задавайте КОНКРЕТНЫЕ вопросы, мы постараемся помочь

[1qwertypower1]

ОК)

сейчас разберусь