1. Les tables de vérité et les opérateurs logiques

Le raisonnement conditionnel repose sur l’algèbre booléenne développée par George Boole. En programmation, chaque décision découle de l’évaluation d’un prédicat qui ne peut valoir que True ou False. Python dispose de trois opérateurs logiques fondamentaux :

  • and : conjonction logique (vrai si et seulement si les deux opérandes sont vrais).
  • or : disjonction logique (vrai si au moins l’un des opérandes est vrai).
  • not : négation logique (inverse la valeur de vérité).

2. Évaluation en court-circuit (Short-Circuit Evaluation)

Python évalue les expressions booléennes de gauche à droite et interrompt l’analyse dès que le résultat final est garanti. Par exemple, dans A and B, si A est faux, B n’est jamais exécuté. Ce mécanisme protège élégamment contre les erreurs d’exécution, comme la division par zéro ou l’accès à un index inexistant :

denominateur = 0
# Grâce au court-circuit, la division n'est jamais déclenchée
if denominateur != 0 and (100 / denominateur) > 5:
    print("Condition remplie")
else:
    print("Opération impossible ou résultat non conforme")

3. L’instruction sélective if / elif / else

L’enchaînement conditionnel permet de modéliser des arbres de décision complexes avec une hiérarchie stricte. L’ordre des clauses elif est primordial, car seule la première condition évaluée à True voit son bloc d’instructions exécuté :

note = 5.2

if note >= 5.5:
    mention = "Excellent (Très bien)"
elif note >= 5.0:
    mention = "Bien"
elif note >= 4.0:
    mention = "Suffisant (Réussite certifiée)"
else:
    mention = "Insuffisant (Remédiation requise)"

print(f"Résultat : {mention}")

Synthèse pédagogique : Réduisez au maximum l’imbrication excessive de blocs conditionnels en appliquant le principe des retours anticipés (Guard Clauses), gage de lisibilité et de maintenance aisée.

PreviousNext