De mémoire de mes cours d'algèbre booléenne d'il y a 4 mois environ.Le principe c'est que pour deux affirmations A et B, si tu sais que A implique B, tu sais également que nonB implique nonA.
A => B cela ne veut absolument pas dire que !B => !A
Weeds, car ce n'est justement pas une équivalence.