Fonction logique definition