domaine booléen

En mathématiques et en algèbre abstraite, un domaine booléen est un ensemble composé d'exactement deux éléments qui comprennent les informations vrai et faux. En logique, les mathématiques et l'informatique théorique, un domaine booléen est généralement écrit par {0, 1}, {faux, vrai}, {F, V}, {⊥, ⊤} ou . La structure algébrique qui se forme naturellement sur un domaine booléen, est l'algèbre de Boole à deux éléments. L'objet initial dans la catégorie des treillis est un domaine booléen. En informatique, une variable booléenne est une variable qui prend des valeurs dans certains domaines Booléens. Certains langages de programmation comportent des expressions ou des symboles pour les éléments du domaine booléen, par exemple false et true. Cependant, de nombreux langages de programmation ne possèdent pas de type de données booléennes au sens strict. En C ou en BASIC, par exemple, le faux est représenté par le chiffre 0 et le vrai est représentée par le numéro 1 ou −1. Les variables qui peuvent prendre ces valeurs peuvent également prendre d'autres valeurs numériques.