Bonsoir,

bah... En utilisant la définition



Même chose pour le deuxième.

Oula je me suis un peu emporté sur la dernière égalité.

Faut travailler un peu pour montrer que les deux unions sont égales, on peut revenir aux éléments par exemple.

Rebonsoir.

AB = (A/B)(/AB) = (A/A)(AB)(/A/B)(/BB) = (AB)(/A/B)

Développe /AB et A/B, et tu devrais retrouver la même chose.

Houlà, il se fait tard. Oublie ce que j'ai dit. :p

Salut,

Ton résultat semble faux...

si on prend A = B inclus dans X alors



mais

Ouh la je me suis trompée, c'était non(AB). Désolée.

Ahem...

Soit x tq xA et xB. On a xA et xB, donc xAB. Or x/A/B, d'où x/AB. Donc AB /AB.

x n'appartenant ni à A ni à B, il ne peut appartenir ni à AC, ni à BD, quels que soient C et D.

Je me suis encore fait doubler :p Bref... En fait, ta relation est la définition ensembliste du ou exclusif : xAB (xA ou exclusif xB). À partir de là, si tu ne veux pas te prendre le chou, tu peux faire des tables de vérité. :p

Ca marche avec les tables de vérité !
Mais comment faire sans passer par là ?
Sachant que pour le moment, j'en suis à

Merci !

Si tu développes les A inter A bar et les B inter B bar s'en vont et il restes ce que tu voulais, non ?

C'était tout bête XD Merci !