Bon, finalement tu n'as pas compris.
Prenons la première intersection que tu écris
\cap (\bar B\cap \bar A))
.
1°) Tu peux la récrire

parce que l'intersection est associative et commutative. D'accord ?
2°) Elle est donc égale à

car

. D'accord ?
3°) Tu penses et tu écris ensuite qu'elle est égale à

. Tu fais comme si on avait

pour toute partie

de

. Réfléchis, est-ce bien raisonnable ? Quand tu intersectes une partie avec l'ensemble vide, l'intersection doit bien être contenue dans l'ensemble vide, n'est-ce pas (définition de l'intersection) ? Donc, qu'est-ce que c'est que

?