Une fonction logique est une fonction constituée d’au moins une variable logique.
Une variable logique appelée aussi variable booléenne, est une
grandeur qui ne peut prendre que des valeurs booléennes.
Une valeur booléenne appelée aussi valeur logique est une valeur qui
ne peut exister qu’en deux états :
Si on a la fonction x=H(a,b), ceci signifie que la fonction a pour sortie x et entrées a et b. Sa représentation graphique est celle-ci :
La représentation sous forme d’un tableau des différentes valeurs logiques appliquées aux entrées et celles appliquées à la sortie constitue la table de vérité.
La variable prend deux valeurs logiques. Il n’existe donc que deux combinaisons possible appliquées à l’entrée.
Une fonction à n variables a 2n combinaisons possible appliquées à l’entrée.
Comme nous venons de le dire ci-haut, la relation entrée-sortie d’un système logique peut être mise sous forme d’un tableau appelée table de vérité. Pour une fonction à n variables, la table de vérité contient 2n lignes représentant toutes les combinaisons possibles.
Soit x=H(a,b) une fonction à deux variables, la table de vérité peut être ainsi :
a | b | x |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 0 |