Algorithmes de simplification d'une fonction de logique combinatoire
La simplification des fonctions de logique combinatoire par le tableau de Karnaugh devient peu pratique à partir de 5 variables. Il est courant que des enseignants portent une mauvaise appréciation sur une solution pourtant correcte trouvée par un élève En effet nombre de fonctions peuvent produire des résultats multiples, toutes aussi courtes les unes que les autres. Pour résorber ce mal, je recherche un algorithme permettant de ressortir toutes les solutions simplifiées d'une fonction logique. Ledit algorithme implémenté dans un programme peut permettre aux étudiants de vérifier leur travail et au professeur de prendre conscience de l'éventualité d'autres solutions. Un exemple d'algorithme de simplification est celui de Quine-Mc Cluskey, je le trouve fastidieux; Y aurait-il d'autres algorithmes que vous connaissez ?