Resumen de Calcul graphique des fonctions de variables binaires
On sait que la détermination des fonctions de commutation que l'on rencontre en calcut logique conduit a des expressions qui deviennent très vite compliquées lorsque les variables binaires qui y figurent, ainsi que les variables complémentaires, ne sont pas indépendantes, mais sont elles-mêmes fonctions d'un second groupe de variables, lesquelles peuvent a leur tour être des fonctions d'un troisème groupe de variables, etc... C'est à des problemes de substitution de ce genre que s'applique la méthode de calcut graphique proposée par l'auteur.
Cette méthode fait appel à des diagrammes du type utilisé pour la simplification des formes elémentaires d'une fonction de commutation, mais, au lieu d'opérer sur un diagramme ubnique et d'effectuer les regroupements de termes que suggèrent certaines symétries suivant une méthode bien connue, ici chaque variable non indépendante ou son somplément est représentée par un diagramme particulier, et c'est la combinaison des différents diagrammes relatifs aux diverses variables figurant dans la fonction qui permet d'obtenir le diagramme unique qui résume, en le viasualisant, le résultant de la substitution.
Qu'il s'agisse d'une fonction de variables binaires non indépendantes se présentant sous la forme d'une somme de produits ou sous celle d'un produit de sommes, le principe est toujours le même: on effectue les produits logiques ou sommes logiques des digits binaires contenus dans les cases homologues des diagrammes représentant les différents termes de la fonction, après avoir inscrit préalablement des 1 dans toutes les cases qui correspondent a une forme élémentaire présente dans le terme considéré et laissé en blanc - avec la signification d'un 0-toutes les autres cases.
[...]
