Vérification du théorème de DE MORGAN