Systèmes logiques
Systèmes logiques
| Ordre des combinaisons | |
|---|---|
| 1 | Ordre des combinaisons |
| 2 | Dénombrement code Gray ou code binaire x = abscisse, entrée |
| 3 | Nom de la fonction |
| 4 | Définition de la fonction |
| 5 | Résultat y = ordonnée, sortie |
| P1 : f(A,E) | P2 : f(A,I) | P3 : f(A,E,I) | Q1 : f(P2,P3) | Q2 : f(P1,P3) | |||||
|---|---|---|---|---|---|---|---|---|---|
| A | E | I | A.E | A+I | (A+E).I | P2+P3 | P1.P3 | ||
| 0 | /A , /E , /I | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 1 | /A , /E , I | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 |
| 2 | /A , E , /I | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
| 3 | /A , E , I | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 |
| 4 | A , /E , /I | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 |
| 5 | A , /E , I | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 |
| 6 | A , E , /I | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 |
| 7 | A , E , I | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
Dans l’énoncé, le comportement logique du système est défini en intension. À partir de cette spécification, on détermine les variables d’entrée (liées aux capteurs) et les variables de sortie (liées aux effecteurs), puis on en dérive la fonction booléenne qui modélise ce comportement
La définition d'une fonction, expression logique est son équation(extension).