Table des mati`eres
1 Alg`ebre de Boole 3
1.1 Alg`ebresdeBoole ........................ 3
1.1.1 D´efinition......................... 3
1.1.2 Exemples ......................... 4
1.1.3 D´eveloppements et Simplifications en Alg`ebre de Boole 4
1.1.4 R`egles de Calcul dans les Alg`ebres de Boole . . . . . . 5
1.1.5 Principe de Dualit´e . . . . . . . . . . . . . . . . . . . . 5
1.1.6 R`egles sur les ´egalit´es . . . . . . . . . . . . . . . . . . 6
1.2 Les Fonctions Bool´eennes et leurs Formes Canoniques . . . . 6
1.2.1 D´efinitions ........................ 6
1.2.2 Indexation et Nombre de mintermes et maxtermes . . 7
1.2.3 Propri´et´es des mintermes et maxtermes . . . . . . . . 7
1.2.4 Formes canoniques d’une fonction bool´eenne . . . . . 8
1.2.4.1 Formes canoniques conjonctives et disjonctives 8
1.2.4.2 D´etermination des formes canoniques . . . . 8
1.2.4.2.1 D´etermination Alg´ebrique . . . . . . 9
1.2.4.2.2 Code des poids . . . . . . . . . . . . 9
1.2.5 Passage d’une forme canonique `a une autre . . . . . . 9
1.2.6 Application aux calculs sur les ´egalit´es . . . . . . . . . 10
1.3 Simplification des fonctions Bool´eennes . . . . . . . . . . . . . 10
1.3.1 Diagrammes de Karnaugh . . . . . . . . . . . . . . . . 10
1.3.1.1 Diagrammes de Karnaugh pour 4 variables . 10
1.3.1.2 Diagrammes de Karnaugh pour 5 variables . 11
1.3.1.3 Utilisation des diagrammes de Karnaugh . . 11
1.3.2 M´ethode de Quine-Mc Cluskey . . . . . . . . . . . . . 11
1.3.2.1 M´ethode de Quine . . . . . . . . . . . . . . . 11
1.3.2.2 M´ethode de Mc Cluskey . . . . . . . . . . . . 15
1.4 Les Fonctions bool´eennes sur variables binaires . . . . . . . . 17
1.4.1 D´efinitions ........................ 17
1