Les méthodes de simplification des fonctions logiques présentées sur le web se résument aux méthodes manuelles de Quine McCluskey et de Karnaugh. Pourtant lors de mes études (les années 1960) j’ai utilisé une méthode que mon professeur J BRUNIN avait proposée. Cette méthode se trouve exposée dans son livre LOGIQUE BINAIRE ET COMMUTATION édité chez DUNOD en 1966 (voir à partir de la page 42). Cette méthode permet de simplifier des fonctions avec un grand nombre de variables et se prête facilement à la programmation.
Par exemple en 1974, j’ai fait un premier programme en Fortran (environ 300 cartes) qui permettait de trouver toutes les solutions d’une fonction jusqu’à 10 variables, puis dans les années 80, un programme Basic sur un pc heatkit (16 koctet de ram et processeur z80) ayant les mêmes performances.
Connaîtriez-vous des algorithmes sur le web qui utilise cette méthode, ou simplement, certain aimerait-il connaître celle-ci ?
-----