(ANB)u(ANC)=
(AUB)n(AUB)=
(BUC)\(ANB)=
(B/C)u(A/C)=
(B/A)u(B/B)=​