Si on se trouve devant le schéma d’un circuit logique dont on ne connaît pas la fonction, on doit en faire l’analyse. La première étape consiste à vérifier qu’il s’agit bien d’un circuit combinatoire. Si le schéma ne comporte pas de cellules de mémoire ou de boucles de rétroaction, on peut conclure que le circuit est combinatoire. Une boucle de rétroaction consiste en un chemin du circuit par lequel une valeur d’entrée d’une porte provient, directement ou indirectement (par l’intermédiaire d’autres portes), de la sortie de la même porte. La présence de rétroaction est une caractéristique des circuits logiques séquentiels, que nous étudierons plus loin.
Pour interpréter le comportement du circuit, nous devons déterminer les expressions logiques qu’il met en oeuvre ou établir son tableau de vérité.
Pour déterminer l’expression logique, on procède ainsi:
Analysons le circuit combinatoire illustré à la figure suivante.
Circuit combinatoire à analyser
Il n’est pas la peine d’étiqueter la sortie de la porte inverseur. Comme variables intermédiaire, on considère \(I_1\) en sortie de la porte ET à trois entrées et \(I_2\) en sortie de la porte NOR. On trouve que \(I_1 = A^\prime \cdot B \cdot C\) et que \(I_2 = (A + D)^\prime = A^\prime \cdot D^\prime\).
On aura donc \(F_1 = I_1 \cdot I_2\).
En substituant, \(F_1 = ( A^\prime \cdot B \cdot C ) \cdot ( A^\prime \cdot D^\prime) = A^\prime \cdot B \cdot C \cdot D^\prime\).
En simplifiant, on obtient finalement \(F_1 = A^\prime \cdot B \cdot C \cdot D^\prime\).
$$A$$ | $$C$$ | $$B$$ | $$D$$ | $$I_1$$ | $$I_2$$ | $$F_1$$ | |
---|---|---|---|---|---|---|---|
0 | 0 | 0 | 1 | 0 | 0 | 0 | |
0 | 1 | 0 | 0 | 0 | 1 | 0 | |
0 | 1 | 0 | 1 | 0 | 0 | 0 | |
0 | 0 | 1 | 0 | 0 | 1 | 0 | |
0 | 0 | 1 | 1 | 0 | 0 | 0 | |
0 | 1 | 1 | 0 | 1 | 1 | 1 | |
0 | 1 | 1 | 1 | 1 | 0 | 0 | |
1 | 0 | 0 | 0 | 0 | 0 | 0 | |
1 | 0 | 0 | 1 | 0 | 0 | 0 | |
1 | 1 | 0 | 0 | 0 | 0 | 0 | |
1 | 1 | 0 | 1 | 0 | 0 | 0 | |
1 | 0 | 1 | 0 | 0 | 0 | 0 | |
1 | 0 | 1 | 1 | 0 | 0 | 0 | |
1 | 1 | 1 | 0 | 0 | 0 | 0 | |
1 | 1 | 1 | 1 | 0 | 0 | 0 |