Équivalences

[t.itou29]

Bonjour,
J'ai du mal à faire cet exercie:
1. Utiliser la relation (A ;) B) ;) ((non A) ou B) pour démontrer l'équivalence suivante :
((A et B);)C) ;) ((A;)(B;)C))

J'ai trouvé par équivalences successives, mais je ne suis pas sûr qu'elles soient bonnes (surtout la 4ème):
(A et B);)C
non(A et B) ou C
(nonA ou nonB) ou C
(nonA) ou ((nonB) ou C)
nonA ou (B;)C)
A;)(B;)C)
Est-ce bon ? Merci

[John Difool]

Ça m'a l'air juste !