La fonction logique de base