1SM 1 notions de logique 4 Négation logique ou connecteur unaire