Loi de morgan

[pluie2]

Bonjour à tous, j'aimerais réussir à simplifier ces intersections et union :

a) (AUB)barre;)(CUAbarre)
b) ((AUB);)(B;)C))U(AUC))
c) [A;)(A;)B)];)Bbarre
d) ((AUC);)(A;)B))U(CUB)

J'ai fait :

a) (AUB)barre;)(CUAbarre) = (A;)B);)(CUAbarre) = ?

b) ((AUB);)(B;)C))U(AUC))= [(A;)C);)(B;)C)]U(AUC)= ?

c) [A;)(A;)B)];)Bbarre= [(A;)A);)(A;)B)];)Bbarre = (A;)B);)Bbarre=A;)Bbarre

d) je n'y arrive pas. J'ai fait une figure pourtant (un diagramme ) mais je n'arrive pas à écrire bien ce qu'il faut

merci.

[eratos]

non(x est dans A ou dans B)= x n'est pas dans A ni dans B = x est dans le complémentaire de A et dans le complémentaire de B

[pluie2]

oui ça je connais mais dans a), il y a juste le A qui est Abarre et non le tout CUA