variable booléenne

Un formulaire vérifie si un mot de passe contient au moins douze caractères. Pour « Tangente2026! », la réponse est vrai ; pour « Maths7! », elle est faux. Une variable booléenne mémorise précisément l'une de ces deux réponses.

Elle joue ainsi le rôle d'un interrupteur logique : la condition est satisfaite ou elle ne l'est pas. Les deux états s'excluent ; la variable ne peut pas être simultanément vraie et fausse.

Une variable booléenne est une variable logique dont le domaine comporte exactement deux états distincts et mutuellement exclusifs. On les note le plus souvent vrai et faux. Dans l'algèbre de Boole, les symboles 1 et 0 peuvent représenter ces deux états ; il s'agit alors d'une convention d'écriture logique.

Un booléen peut encoder une condition, comme « le mot de passe a au moins douze caractères », un état, comme « la porte est fermée », ou le résultat d'un test logique. À un instant donné, une seule des deux valeurs est retenue. Une information qui admet un troisième état, par exemple « inconnu », n'est donc plus décrite par un booléen ordinaire sans règle supplémentaire.

Ce type de variable est fondamental en logique formelle, en informatique et en électronique numérique. Son nom rend hommage à George Boole, fondateur de l'algèbre logique appelée algèbre de Boole.

Un site accepte un mot de passe dès qu'il contient au moins douze caractères. Les données sont la chaîne « Tangente2026! », qui contient 13 caractères, et le seuil de 12 caractères. La variable booléenne se nomme « longueur suffisante ».

Étape 1. On compte les caractères de « Tangente2026! » : il y en a exactement 13, signe « ! » compris.

Étape 2. On teste la condition « le nombre de caractères est supérieur ou égal à 12 ». Comme 13 ≥ 12, le test réussit.

Étape 3. La variable « longueur suffisante » prend donc la valeur vrai. Le site peut poursuivre le traitement prévu pour un test réussi.

Contrôle. Avec « Maths7! », qui contient 7 caractères, la même comparaison donne 7 < 12. La variable prend alors la valeur faux : les deux entrées conduisent bien aux deux issues exclusives.

Dans un formulaire, un booléen conserve le résultat d'une vérification : le mot de passe respecte le seuil demandé, ou non. Si plusieurs causes de refus doivent être expliquées séparément, un message d'erreur détaillé complète ce simple résultat.

Dans un programme, il commande un choix entre deux branches : poursuivre quand la condition vaut vrai, ou suivre l'autre traitement quand elle vaut faux. Si trois issues distinctes sont nécessaires, un type à trois états est préférable.

Dans un circuit numérique, deux états physiques conventionnels peuvent représenter 1 et 0. Le booléen convient lorsque seule l'opposition entre les deux états importe ; une mesure variable exige une représentation plus riche.

Booléen et nombre binaire. Un booléen exprime l'une de deux valeurs logiques exclusives. Un nombre écrit en base deux peut, lui, comporter plusieurs chiffres et représenter une quantité. Ainsi, 1 peut coder vrai par convention, tandis que 101 est une écriture binaire qui ne constitue pas une valeur booléenne.

Variable booléenne et test logique. Le test produit une réponse vraie ou fausse ; la variable conserve cette réponse. Dans l'exemple, la comparaison 13 ≥ 12 est le test, tandis que « longueur suffisante » est la variable qui reçoit vrai.

Un troisième état apparaît. Si l'information peut être vraie, fausse ou encore inconnue, un booléen ordinaire efface une distinction observable. Il faut prévoir explicitement ce troisième état au lieu de l'assimiler à faux.

Les symboles ne sont pas les états eux-mêmes. Vrai et faux sont les valeurs logiques ; 1 et 0 ne sont qu'une désignation conventionnelle dans le cadre binaire. Il faut vérifier la convention employée avant d'interpréter les symboles.

Le seuil change l'issue. Avec un seuil de 12 caractères, une longueur de 12 donne vrai, car « au moins » inclut l'égalité. Remplacer ≥ par > ferait basculer ce cas charnière vers faux.

L'algèbre de Boole formalise les opérations effectuées sur les valeurs logiques et leurs combinaisons.

Une table de vérité permet d'examiner systématiquement le résultat d'une expression logique pour chaque combinaison d'entrées.

La fiche Boole George replace le nom « booléen » dans le parcours du mathématicien auquel il rend hommage.