Propriétés des fonctions logiques