Algèbre de Boole et fonctions Booléennes-Cours et Exercices corrigés

L’algèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s’intéresse aux opérations et aux fonctions sur les variables logiques. Elle fut inventée par le mathématicien britannique George Boole. Aujourd’hui, l’algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.

Un circuit électrique, pneumatique, hydraulique peut avoir 2 états logiques. Ces états peuvent prendre la valeur 1 ou 0. C’est ce que l’on appelle la variable logique. Ces états sont fonctions de l’état des composants en série dans le circuit.

• État 0 : Les actionneurs tels que : moteurs, vérins sont à l’état 0 lorsqu’ils ne sont pas alimentés. Le circuit est alors ouvert. Pour un circuit pneumatique ceci correspond à une absence de pression. Pour un circuit électrique cela correspond à une absence de différence de potentiel entre les bornes du circuit. Pour un contact ou un distributeur, c’est l’absence d’action physique intervenant sur un contact qui représente l’état 0.
• État 1 : Les actionneurs sont à l’état 1 lorsqu’ils sont alimentés. Pour un circuit pneumatique ou hydraulique ceci correspond à une pression d’air ou d’huile dans le circuit. Pour un circuit électrique cela correspond à une différence de potentiel entre les bornes du circuit. Pour un contact ou un distributeur ils sont actionnés, c’est à dire qu’une action physique est prise en compte.

Il existe 2 types de logique :

• la logique « positive » : le oui est représenté par un 1, et le non par un 0.
• la logique « négative » : le oui est représenté par un 0, et le non par un 1.

On dispose pour traiter l’information :

• d’un outil mathématique : l’algèbre de Boole, son rôle est de mettre en équation le fonctionnement d’un système, et de le simplifier en vue de sa réalisation physique.
• d’un outil physique : les portes logiques NON -NO-, ET -AND-, OU -OR-, …, fonctions de base « pré-câblées » permettant la fabrication du circuit électrique, pneumatique, ou hydraulique demandé.

Fonctions logiques de base

Il existe 4 fonctions logiques de base

ET: Elle est définie de la manière suivante : a ET b est VRAI si et seulement si a est VRAI et b est VRAI. Cette loi est aussi notée :

• a.b
• a/\b (dans quelques notations algébriques, ou en APL)
• a&b ou a&&b (Perl, C, PHP, …)
• a AND b (Ada, Pascal, Python, …)

OU : Elle est définie de la manière suivante : a OU b est VRAI si et seulement si a est VRAI ou b est VRAI, ou si a et b sont vrais. Cette loi est aussi notée :

• a+b
• a\/b (dans quelques notations algébriques ou en APL)
• a|b ou a||b (Perl, C, PHP, …)
• a OR b (Ada, Pascal, Python, …)

NON : Le contraire de « a » est VRAI si et seulement si a est FAUX. Le contraire de a est noté :

• \bar { a }
• ~a (dans quelques notations algébriques ou en APL)
• !a (C, C++…)
• NOT a (ASM, Pascal, …)

OU EXCLUSIF : f = a ⊕ b

Fonction booléenne (ou logique)

On appelle fonction booléenne une fonction définie sur { 2 }^{ n } combinaisons de n variables logiques.

• Une fonction logique est donc une fonction de n variables logiques,
• Une fonction logique peut prendre en sortie 2 valeurs notées 0 et 1.

Exemple :

La lampe possède 2 états : allumée -1-, ou éteinte -0-. Cet état est fonction de la position -ouvert 0 ou fermé 1- des différents interrupteurs, a, b et c.

• Les interrupteurs sont les variables logiques. Il y a donc 1 variable dans (1), 2 variables dans (2), ou 3variables dans (3).
• le résultat de la fonction logique est l’état de la lampe, qui possède bien 2 valeurs : allumée -1- ou éteinte -0-.

Une fonction logique peut être représentée par une table donnant pour toutes les combinaisons des états des variables, l’état correspondant de la fonction. Elle comporte { 2 }^{ n } lignes -ou n est le nombre de variable, dans l’ordre binaire naturel. Cette table est appelée table de vérité. Cette table peut être

• totalement définie, c’est-à-dire que l’état de la sortie est parfaitement connue en fonction des variables d’entrées,
• incomplètement définie, c’est-à-dire qu’il existe des états de sortie dits indéterminés, ils traduisent en générale une impossibilité physique. Ils sont notés X dans la table de vérité.

Application

Cas (1)  – figure ci-dessus:

• nombre de variable logique : 1
• nombre combinaison pour la fonction de sortie : { 2 }^{ 1 } = 2 états possibles.
• table de vérité :

Cas (2)  – figure ci-dessus:

• nombre de variable logique : 2
• nombre combinaison pour la fonction de sortie : { 2 }^{ 2 } = 4 états possibles.
• table de vérité :

Cas (3)  – figure ci-dessus:

• nombre de variable logique : 3
• nombre combinaison pour la fonction de sortie : { 2 }^{ 3 } = 8 états possibles.
• table de vérité :

• Fonction incomplètement définie : f’

Règles de l’algèbre de Boole

A- Lois de fermeture :

• a.b = a ET b = variable booléenne définie par la table de vérité de la fonction ET.
• a+b = a OU b = variable booléenne définie par la table de vérité de la fonction OU.

B- Lois de commutativité :

• a.b = b.a
• a+b = b+a

C- Lois d’associativité :

• a.(b.c) = (a.b).c
• a+(b+c) = (a+b)+c

D- Lois d’idempotence :

• a.a = a
• a+a = a

E- Lois de complémentarité :

• a.\bar { a }=0
• a+\bar { fa}=1

F- Lois d’identité remarquable :

• 1.a = a
• 1+a = 1
• 0.a = 0
• 0+a = a

G- Lois de distributivité :

• a.(b+c) = a.b + a.c
• a+(b.c) = (a+b).(a+c)

H- Lois de distributivité « interne » :

• a.b.c = (a.b).(a.c)
• a+(b+c) = (a+b)+(a+c) car a = a+a+a+a+…

G- Exemples :

• x.y+x.\bar { y }=x
• x + x.y = x
• x+\bar { x }.y=x+ y
• x.y+\bar { x }.z+y.z=x.y+\bar { x }.z
• (x+ y).(x+\bar { y })=x
• x.y+x.\bar { y }.z=x.y+x.z
• x.(x+y) = x
• x.(\bar { x }+y)=x.y

H – Théorème de De Morgan (Augustus) :

• \overline { a.b.c }=\bar { a }+\bar { b }+\bar { c }
• \overline { a+b+c }=\bar { a }.\bar { b }.\bar { c }

Représentation des fonctions logiques

A- Écriture algébrique :

On veut utiliser un OU à 4 entrées et 4 ET à 3 entrées. On se propose de simplifier la fonction logique : f =x.y. \bar { z }+x. \bar { y } . z+\bar { x } . y.z+x.y.z

• f =x.y. \bar { z }+x. \bar { y } . z+\bar { x } . y.z+x.y.z
• f =x.y. \bar { z }+x.y.z+x. \bar { y } . z+\bar { x } . y.z
• f =x.y. \bar { z }+x.y.z+x. \bar { y } . z+x.y.z+\bar { x } . y.z+x.y.z
• f =x.y.(z+\bar { z })+x.( \bar { y }+ y). z+(\bar { x }+x). y.z
• f =x.y+x.z+ y.z

B- Écriture par table de vérité :

La fonction vaut 1 si le nombre de 1 est supérieur au nombre de 0.

Forme canonique

A- Définition :

C’est l’écriture algébrique de la fonction logique sous la forme de :

• somme de produit, première forme canonique,
• produit de somme, deuxième forme canonique,
• de portes NAND, troisième forme canonique,
• de portes NOR, quatrième forme canonique.

B- Applications :

Si on reprend la fonction du en haut, on peut écrire :

• Première forme canonique, on recherche les combinaisons des variables logiques sous la forme de somme de produit qui amènent la fonction logique à la valeur 1,

f =1 si f =\bar { a }.b.c+a.\bar { b }.c+a.b.\bar { c }+a.b.c

• Deuxième forme canonique, on recherche les combinaisons des variables logiques sous la forme de produit de somme qui amènent la fonction logique à la valeur 0,

f =0 si f = (a+b+c).(\bar { a }+b+c).(a+\bar { b }+c).(a+b+\bar { c })

• Troisième forme canonique, on utilise la première forme canonique mais ici les fonctions logiques sont exprimées à l’aide UNIQUEMENT de portes NAND.

f=\overline { \overline { \bar { a } .b.c+a.\bar { b } .c+a.b.\bar { c } +a.b.c } }

f=\overline { \overline { (\bar { a } .b.c) } .\overline { (a.\bar { b } .c) } .\overline { (a.b.\bar { c } +a.b.c) } }

• Quatrième forme canonique, on utilise la deuxième forme canonique mais ici les fonctions logiques sont exprimées à l’aide UNIQUEMENT de portes NOR

f=\overline { \overline { (a+b+c).(a+b+\bar { c } ).(a+\bar { b } +c).(\bar { a } +b+c) } }

f=\overline { \overline { \overline { (a+b+c) } +\overline { (a+b+\bar { c } ) } +\overline { (a+\bar { b } +c) } +\overline { (\bar { a } +b+c) } } }

Pour plus de détails télécharger les documents ci-dessous:

Liens de téléchargement des cours sur l’Algèbre de Boole et fonctions Booléennes

Liens de téléchargement des exercices corrigés sur l’Algèbre de Boole et fonctions Booléennes

Voir aussi :

Partagez au maximum pour que tout le monde puisse en profiter

The post Algèbre de Boole et fonctions Booléennes-Cours et Exercices first appeared on F2School.

L’article Algèbre de Boole et fonctions Booléennes-Cours et Exercices est apparu en premier sur F2School.

Electronique Numérique : Cours et exercices corrigés

En Electronique numérique on manipule des variables logiques conventionnellement repérées par la valeur 0 ou 1. Ces grandeurs obéissent à des règles d’algèbre particulières qu’il est indispensable de maîtriser avant d’entreprendre l’analyse ou la synthèse de circuits numériques.

Plan du cours Electronique Numérique

Chapitre 1 :Algèbre de Boole

1.1. Variables et fonctions logiques

1.1.1. Variables logiques

1.1.2. Fonctions logiques

1.2. Définition d’une algèbre logique.

1.2.1. Fonctions logiques de base.

1.2.2. Propriétés des fonctions logiques de base.

1.2.3. Théorème de Morgan

1.2.4. Quelques relations utiles

1.2.5. Formes canoniques des expressions logiques

1.3. Simplification des fonctions logiques

1.3.1. Généralités

1.3.2. Simplification d’une fonction logique par la méthode des tables de Karnaugh

1.3.3. Conclusion

1.4. Exercices

1.5. Correction des exercices

Chapitre 2: Représentation des nombres, codage

2.1. Représentation des nombres, codes pondérés.

2.1.1. Les systèmes de numération.

2.1.2. Changement de base, conversions.

2.2. Opération arithmétiques.

2.2.1. Représentation des nombres négatifs.

2.2.2. Réalisation pratique de la soustraction

2.3. Codage des nombres.

2.3.1. Les codes pondérés.

2.3.2. Les codes non pondérés

2.3.3. Codes correcteurs d’erreurs

2.4. Exercices

2.5. Corrections des exercices

Chapitre 3 : Logique combinatoire.

3.1. Représentation schématique des fonctions logiques de base.

3.1.1. Les fonctions NON, ET, OU.

3.1.2. La fonction NON ET (NAND).

3.1.3. La fonction NON OU (NOR).

 3.1.4. La fonction OU EXCLUSIF (XOR).

3.2. Réalisation matérielle d’une fonction logique

3.3. Les aléas en logique combinatoire

3.3.1. Un exemple simple d’aléa.

3.3.2. Remèdes aux aléas

3.3.3. Conséquences des aléas

3.4. Quelques circuits logiques ”complexes”.

3.4.1. Le multiplexeur (sélecteur de données).

3.4.2. Encodeur prioritaire.

3.4.3. Le décodeur-démultiplexeur

3.5. Exercices

3.6. Correction des exercices

Chapitre 4: Logique séquentielle.

4.1. Introduction

4.2. Les bascules.

4.2.1. La bascule RS.

4.2.2. La bascule RS avec validation (RS latch)

4.2.3. La bascule D

4.2.4. Bascules synchrones / bascules asynchrones.

4.2.5. La structure maître-esclave

4.2.6. Un exemple détaillé de bascule synchrone : la bascule D

4.2.7. Représentations des bascules synchrones.

4.2.8. Tables de vérités et tables des commandes.

4.3. Exercices

4.4. Correction des exercices

Chapitre 5: Compteurs, registres et mémoires.

5.1. Généralités sur les compteurs

5.1.1. Compteurs binaires.

5.1.2. Réalisation d’un compteur binaire

5.1.3. Compteur synchrone / compteur asynchrone

5.1.4. Compteurs à cycle incomplet ou non binaire

5.2. Les compteurs asynchrones

5.2.1. Les compteurs binaires.

5.2.2. Les compteurs asynchrones par 10

5.3. Les compteurs synchrones

5.3.1. Les compteurs binaires à retenue série

5.3.2. Les compteurs binaires à retenue parallèle (ou anticipée).

5.3.3. Les compteurs synchrones par 10

5.4. Les registres

5.4.1. Définitions

5.4.2. Les registres tampon

5.4.3. Les registres à décalage.

5.4.4. Les registres universels.

5.4.5. Applications des registres à décalage

5.5. Les mémoires à semi-conducteur.

5.5.1. Les mémoires vives

5.5.2. Les mémoires mortes

5.5.3. Organisation d’une mémoire.

5.6. Les mémoires optiques CD et DVD.

5.6.1. Les CD préenregistrés.

5.6.2. Les CD enregistrables CD-R

5.6.3. Les CD réengistrables CD-RW.

5.6.4. Les DVD.

5.7. Exercices

5.8. Correction des exercices.

Ci-dessous les liens de téléchargement des cours d’Electronique Numérique

Ci-dessous les liens de téléchargement des TD corrigés d’Electronique Numérique

Voir aussi :

Partagez au maximum pour que tout le monde puisse en profiter

The post Electronique Numérique : Cours et exercices corrigés first appeared on F2School.

L’article Electronique Numérique : Cours et exercices corrigés est apparu en premier sur F2School.