Les fonctions logiques sont un élément essentiel de la logique mathématique et de l'informatique. Elles permettent de représenter et de manipuler des informations sous forme de valeurs logiques, généralement vraies ou fausses. Dans cette fiche de révision, nous allons aborder les principaux concepts liés aux fonctions logiques, notamment les opérations logiques de base, les tables de vérité, les expressions logiques et les simplifications de fonctions.
I. Opérations logiques de base
Les opérations logiques de base sont les opérations AND (ET), OR (OU) et NOT (NON). Elles permettent de combiner des variables logiques pour créer des expressions logiques plus complexes. Voici les principaux symboles utilisés pour représenter ces opérations :
Définition
AND (ET) - &
L'opération AND (ET) renvoie vrai si toutes les variables logiques en entrée sont vraies, sinon elle renvoie faux. Elle est représentée par le symbole &. Par exemple, si A et B sont des variables logiques, l'expression A & B renverra vrai si A et B sont tous les deux vrais.
OR (OU) - |
L'opération OR (OU) renvoie vrai si au moins l'une des variables logiques en entrée est vraie, sinon elle renvoie faux. Elle est représentée par le symbole |. Par exemple, si A et B sont des variables logiques, l'expression A | B renverra vrai si au moins l'une des variables est vraie.
NOT (NON) - ¬
L'opération NOT (NON) inverse la valeur logique d'une variable. Elle renvoie vrai si la variable est fausse, et faux si la variable est vraie. Elle est représentée par le symbole ¬. Par exemple, si A est une variable logique, l'expression ¬A renverra vrai si A est fausse.
II. Tables de vérité
Les tables de vérité sont des outils permettant de connaître les valeurs de sortie d'une fonction logique en fonction des valeurs d'entrée. Elles permettent de représenter toutes les combinaisons possibles de valeurs des variables logiques, ainsi que le résultat de la fonction pour chaque combinaison.
Voici un exemple de table de vérité pour l'opération AND (ET) :
| A | B | A & B |
|---|---|---|
| Vrai | Vrai | Vrai |
| Vrai | Faux | Faux |
| Faux | Vrai | Faux |
| Faux | Faux | Faux |
III. Expressions logiques
Une expression logique est une combinaison d'opérations logiques, de variables logiques et de parenthèses. Elle permet de représenter une fonction logique de manière compacte. Par exemple, voici une expression logique représentant la fonction OR (OU) entre les variables A, B et C :
(A | B) | C
IV. Simplification des fonctions logiques
La simplification des fonctions logiques consiste à réduire une expression logique complexe en une forme plus simple, tout en conservant la même fonction logique. Cela permet de faciliter la manipulation et l'analyse des fonctions logiques. Il existe plusieurs méthodes pour simplifier une fonction logique, notamment les lois de De Morgan et les tables de Karnaugh.
Les lois de De Morgan permettent de simplifier les opérations logiques NOT (NON) en remplaçant les opérations OR (OU) par des opérations AND (ET), et vice versa. Les tables de Karnaugh sont des outils graphiques qui permettent de simplifier les expressions logiques en identifiant des groupes de variables logiques ayant la même valeur dans une table de vérité.
A retenir :
En résumé, les fonctions logiques sont des opérations logiques de base, utilisées pour manipuler des variables logiques. Les tables de vérité permettent de représenter les résultats de ces opérations pour différentes combinaisons de valeurs. Les expressions logiques permettent de représenter des fonctions logiques de manière compacte. Enfin, la simplification des fonctions logiques permet de réduire leur complexité tout en conservant leur fonctionnalité.
