Fonctions logiques
Une fonction logique est Une fonction mathématique qui opère sur des informations binaires, et
fait appel à des variables booléennes. prend en entrée des variables binaires (0 ou 1) et produit une
sortie également binaire.
Soit une fonction logique FF associant à un n-uplet de booléens (e0,e1,…,en)(e0,e1,…,en) un autre
booléen :
F:{0,1}n(e0,e1,…,en)→{0,1}↦F(e0,e1,…,en)F:{0,1}n→{0,1}(e0,e1,…,en)↦F(e0,e1,…,en)
• Expression algébrique
• Table de vérité
• pour calculer
• pour vérifier une équation
• pour établir une expression
• Chronogrammes
• Construire un chronogramme
• Schéma logique
• Règles et syntaxe dans les langages informatiques
Expression algébrique
On peut représenter une fonction logique par son expression algébrique, en utilisant les opérateurs
de l’algèbre de Boole.
Exemples :
• F(a,b,c)=a+b⋅a+b¯¯¯¯¯¯¯¯¯¯¯F(a,b,c)=a+b⋅a+b¯
• G(a,b)=a⋅b¯¯G(a,b)=a⋅b¯
Table de vérité
Une expression logique contenant un nombre fini de variables booléennes (a1,…,ana1,…,an), et
chaque variable ne pouvant prendre qu’un nombre fini de valeurs (0 ou 1), il existe un nombre fini
de combinaisons de ces variables, et par conséquent un nombre fini de valeurs pour l’expression.
On peut représenter l’ensemble des combinaisons et des valeurs dans
un tableau appelé table de vérité :
pour calculer
On peut utiliser une table de vérité pour décomposer les
calculs algébriques, en procédant par étapes
pour vérifier une équation
On peut aussi utiliser une table de vérité pour vérifier si deux
expressions logiques sont équivalentepour établir une
expression
On peut encore utiliser une table de vérité pour obtenir
une expression logique à partir d’une combinaison (complète
ou pas) de valeurs logiques :
Méthode :
1-Pour une variable de sortie SS, on repère la valeur la moins fréquente dans la table :
Si les 1 sont plus fréquents que les 0, on exprime S=…S=…
dans le cas contraire, on exprime S¯=…
2-On écrit l’expression sous forme « brute » (ou canonique) :
« somme de produit » : _⋅_⋅_+_⋅_⋅_+…+_⋅_⋅__⋅_⋅_+_⋅_⋅_+…+_⋅_⋅_
« produit de somme » : (_+_+_)⋅(_+_+_)⋅…⋅(_+_+_)
3-On simplifie à l’aide des propriétés de l’algèbre de Boole.
En algèbre de Boole, la représentation algébrique des
fonctions logiques se fait principalement sous deux formes :
1. Première forme canonique : Somme de produits (SOP - Sum of Products)
Une fonction logique est exprimée comme une somme (OU logique) de produits (ET
logique) des variables d’entrée. Chaque terme est un minterme, c'est-à-dire une
combinaison où chaque variable apparaît soit sous sa forme directe, soit sous sa forme
complémentée.
Exemple :
f(A,B,C)=AˉBC+ABˉC+ABCˉf(A, B, C) = \bar{A} B C + A \bar{B} C + A B \bar{C}
Chaque terme correspond à une ligne de la table de vérité où la sortie est 1.
2. Deuxième forme canonique : Produit de sommes (POS - Product of Sums)
Ici, la fonction est exprimée comme un produit (ET logique) de sommes (OU logique) des
variables d’entrée. Chaque facteur est un maxterme, qui représente une combinaison où au
moins une variable prend la valeur 0.
Exemple :
f(A,B,C)=(A+B+Cˉ)(A+Bˉ+C)(Aˉ+B+C)f(A, B, C) = (A + B + \bar{C}) (A + \bar{B} + C)
(\bar{A} + B + C)
Chaque facteur correspond à une ligne de la table de vérité où la sortie est 0.
En pratique, la somme de produits est souvent utilisée pour la synthèse logique, car elle est plus
facile à implémenter avec des portes ET-OU, tandis que le produit de sommes est plus naturel
pour les implémentations utilisant des portes OU-ET.
Schéma logique :
Un schéma logique est le schéma d’une association d’opérateurs logiques, décrivant une expression
logique
