démonstration

On fait comment pour montrer que deux ensembles sont égaux ? Et bah il suffit de montrer que l'un est inclus dans l'autre et vice versa. À toi d'essayer.

bonsoir


pour faciliter l'écriture

$*$ pour INTERSECTION
$+$ pour UNION
$0$ pour vide
$+$ et $*$ commutatives associatives et forment une distribution
$0$ neutre de $+$
$1$ neutre de $*$

pour le 2 on le vérifie
DE MORGAN dit (ses théorèmes )
$A*A^c=0$
$A+A^c=1$
$(A+B)^c=A^c*B^c$

donc

$(A+C)*(A+B)^c=$
$(A+C)*A^c*B^c=$
$A*A^c*B^c+C*A^c*B^c=$
$0*B^c+C*A^c*B^c=$
$0+C*A^c*B^c=$
$C*A^c*B^c$
effectivement

Bonjour Poirot
oui mince!
j'avais oublié les balises $
j'ai édité mais bon le gars l'humain est parti(il allait pas m'attendre lol)