Bonsoir,

je dois montrer que (AB)^c=A^cB^c

Voici le début de ma démonstration (que je n arrive pas a terminer)

-> MQ (AB)^c A^cB^c

soit x(AB)^c, x(AB)
si xA alors xA^c
Or si x (AB) et de plus si xA^c alors x A^cB^c
Donc si x (AB)^c,  x A^cB^c
Ccl : (AB)^c A^cB^c

-> MQ réciproquement que A^cB^c (AB)^c

soit x A^cB^c, xA^c ou xB^c.

Pouvez vous m aider à continuer svp ?
merci d avance