Exercices et Cours de Mathématiques, Français, Anglais...

Maxicours vous propose de decouvrir un extrait de quelques cours de Mathématiques appliquées. Pour proposer un accompagnement scolaire de qualite en Mathématiques appliquées, toutes nos ressources pédagogiques ont été conçues spécifiquement pour Internet par des enseignants de l'Education nationale en collaboration avec notre équipe éditoriale.

Dans l'étude sur la logique booléenne, vous avez vu des exemples de tables de vérité pour les opérateurs logiques de base. La table de vérité est une compilation sous la forme d'un tableau de tous les états logiques de la sortie en fonction des états logiques des entrées.

Les étapes à suivre pour construire une table de vérité sont les suivantes :

- Écrire sur une première ligne le nom des variables d'entrée et de la variable de sortie ;

- Diviser le tableau en un nombre de colonnes égal au total des entrées et de la sortie. Ainsi, la table de vérité d'une fonction logique à deux entrées aura trois colonnes (deux pour les entrées et une pour la sortie) ;

- Déterminer le nombre de combinaisons possibles à l'aide des variables d'entrées. Ce nombre est égal à deux exposant le nombre d'entrées. Par exemple, avec trois entrées, il y aura 2³ = 8 combinaisons possibles ;

- Tracer des lignes horizontales dont le nombre est égal au nombre de combinaisons possibles. Chaque ligne correspond alors à une combinaison et à une seule des variables d'entrée ;

- Complétez chaque ligne par une combinaison possible des variables d'entrée. La meilleure manière d'énumérer toutes les combinaisons sans se tromper est de compter en binaire ;

- Inscrire dans la colonne "sortie" la valeur de la fonction pour chaque combinaison. Les exemples suivants vous aideront à mieux maîtriser cette méthode.

Soit une fonction logique F de deux variables booléennes a et b. La sortie est à l'état logique 1 quand une et uniquement une seule variable d'entrée est à l'état logique 1.

La figure suivante présente la table de vérité de cette fonction.

Table de vérité d'une fonction F à deux variables d'entrée :

Vous remarquez que cette table de vérité est composée de trois colonnes (deux pour les entrées et une pour la sortie) et de cinq lignes.

Sur la première ligne sont inscrits les noms des variables d'entrées a et b et la sortie.

Les quatre combinaisons possibles des entrées a et b sont inscrites sur les quatre lignes suivantes. Ces combinaisons sont inscrites dans l'ordre de comptage en binaire soit (00), (01), (10) et (11).

L'état logique de la sortie est inscrit dans la colonne "sortie" en face de chaque combinaison possible. Quand a et b sont toutes les deux à l'état logique 0 ou à l'état logique 1, la fonction vaut 0 alors qu'elle est à l'état logique 1 quand a = 0 et b = 1 ou quand a = 1 et b = 0.

Table de vérité d'une fonction à trois variables d'entrée

Soit une fonction logique F à trois variables d'entrée a, b et c. La sortie de cette fonction logique est à l'état logique 1 si uniquement deux variables d'entrées sont à l'état logique 1. La table de vérité de cette fonction est donnée à la figure suivante.

 Table de vérité d'une fonction F à trois variables d'entrée :

Dans cette figure, vous remarquez qu'avec trois variables d'entrées, il y a 2³ = 8 combinaisons possibles. Ces combinaisons sont énumérées selon la manière de compter en binaire avec 3 bits. On obtient dans l'ordre : (000), (001), (010), (011), (100), (101), (110) et (111).

Les variables d'entrée sont représentées sous la forme de trios où le poids le plus fort correspond à a alors que c a le poids le plus faible. La sortie est à l'état logique 1 quand seulement deux entrées sont à l'état logique 1. Elle est à l'état logique 0 pour toutes les autres possibilités.

Sur l'ensemble des combinaisons possibles, trois possibilités donnent lieu à des cas où uniquement deux variables sont à l'état logique 1, ces possibilités sont les suivantes :

- b = 1 et c = 1 avec a = 0, séquence (011),

- a = 1 et c = 1 avec b = 0, séquence (101),

- a = 1 et b = 1 avec c = 0, séquence (110).

Soit une fonction logique F qui dépend de quatre variables d'entrée a, b, c et d. Avec les quatre variables, il y a 2⁴ = 16 combinaisons possibles. La sortie sera à l'état logique 1 si au moins trois variables d'entrée sont à l'état logique 1.

On commence par construire la table de vérité de cette fonction comme le montre le tableau de la figure suivante.

En considérant a comme la variable du poids le plus fort et d celle dont le poids est le plus faible, les seize combinaisons possibles des variables a, b, c et d correspondent alors dans l'ordre à : (0000), (0001), (0010), (0011), (0100), (0101), (0110), (0111), (1000), (1001), (1010), (1011), (1100), (1101), (1110) et (1111).

Table de vérité d'une fonction F à quatre variables d'entrée :