1SM 1 notions de logique 10 équivalence logique connecteur binaire