Algèbre de bool
Eric Cariou
Université de Pau et des Pays de l'Adour Département Informatique
Eric.Cariou@univ-pau.fr
1
Algèbre de Boole
Système algébrique constitué de l'ensemble { 0, 1 }
Variable booléenne : variable qui prend une valeur 0 ou 1
Trois opérateurs de base
NON / NOT ( a )
Inverse/complémente la valeur de la variable a Retourne 1 si a et b sont à 1, sinon retourne 0 Retourne 1 si a ou b est à 1, sinon retourne 0
ET / AND ( a.b ou ab )
OU / OR ( a + b )
Origine
Mathématicien anglais Georges Boole, 1815 – 1864
2
Propriétés de base
Involution Idempotence Complémentarité Éléments neutres Absorbants
: : :
a=a a.a=a aa=1 a. a=0
: aa=a
a=a.1=1.a=a a0=0a=a a.0=0
: a1=1
3
Propriétés de base
Associativité Distributivité
: a.b.c=a.b.c abc=abc : a.bc=a.ba.c ab.c=ab.ac
Règles de De Morgan : ab=a. b a.b=ab Optimisations : aa b=ab abc=abac
4
Fonction logique
Fonction logique
Prend en entrée une ou plusieurs variables booléennes Retourne une valeur booléenne fonction des variables d'entrée
Définition d'une fonction logique : deux méthodes
Par son expression logique
Combinaison des variables de la fonction via les opérateurs de base de l'algébre de boole Exemple : fonction f de trois variables a, b et c
fa , b,c=abb cac
Par sa table de vérité
Table qui définit la valeur de la fonction pour chaque combinaison 5 de valeurs possibles en entrée
Tables de vérité
Table de vérité pour une fonction à p variables
Pour chacune des combinaisons différentes de p valeurs, préciser le résultat de la fonction
Table de vérité des opérateurs de base
_ a | a a b | a + b a b | a.b + + + 0 | 1 0 0 | 0 0 0 | 0 1 | 0 0 1 | 1 0 1 |