Table de vérité, forme canonique et chronogramme
Il existe plusieurs formes de représentation d'une fonction logique ; en voici trois :
Représentation d'une fonction
Table de vérité
Une fonction X peut comporter n variables.
Nous avons vu que nous obtenons 2n combinaisons de ces n variables.
Pour chacune de ces combinaisons, la fonction peut prendre une valeur 0 ou 1.
L'ensemble de ces 2n combinaisons des variables et la valeur associée de la fonction représente «la table de verité»
Exemple d'une table de vérité
Forme canonique
Pour écrire l'équation de X en fonction des 3 variables il faut dire :
Autant de termes que de fois que la fonction est égale à 1.
Ce qui donne une écriture "algébrique" en notant :
la variable par sa lettre si elle vaut 1 (ex : si a vaut 1 nous écrirons a)
la variable par sa lettre surlignée si elle vaut 0 (Si a vaut 0 nous écrirons a et nous lirons «a barre»).
Pour la table de vérité ci-dessus, cela nous donne
Cette forme d'écriture est appelée forme canonique.
Chronogramme
Il existe une autre façon de représenter une fonction logique appelée diagramme des temps.
Les variables binaires sont représentées par un niveau de tension lorsqu’elles sont à 1.
Elles évoluent dans le temps et nous représentons la fonction logique résultante de ces variables, également par un niveau de tension.
Nous obtenons un graphique appelé chronogramme
Exemple de chronogramme de la fonction ET à 2 entrées :
Soit X = a ⋅ b
Le chronogramme est également utilisé pour représenterle fonctionnement complet d'un système électromécanique ; c'est le cas des programmateurs à cames (par exemple : lave-vaisselle).
Le cahier des charges d'un système logique peut être exprimé par un chronogramme (ex: gestion des feux de carrefour).