La fonction logique