Discussion :

[AbeBar27]

Bonjour,

Je vous propose un nouvel élément à utiliser : Simplification des fonctions booléennes par les méthodes de Quine-McCluskey-Petrick

Le but de ce logiciel est de faciliter la simplification des fonctions booléennes à partir de leur table de vérité.

Simplifier une fonction booléenne est très utile cela permet de réduire le nombre de portes logiques nécessaires pour réaliser la fonction (ou le nombre d'instructions pour un micro-contrôleur). Par exemple pour le segment supérieur d'un afficheur hexadécimal 7 segments l'équation brute obtenue à partir de sa table de vérité est :



!b3×!b2×!b1×!b0 +!b3×!b2×b1×!b0 +!b3×!b2×b1×b0 + !b3×b2×!b1×b0 + !b3×b2×b1×!b0 + !b3×b2×b1×b0 + b3×!b2×!b1×!b0 + b3×!b2×!b1×b0 + b3×!b2×b1×!b0 + b3×b2×b1×!b0 + b3×b2×b1×b0 Soit 65 opérations logiques (33 ET, 10 OU et 22 NOT)



La forme simplifiée de cette équation devient :



b1 ×(b2 + !b3) + !b2×(!b0 + b3×!b1) + !b3×b2×b0 qui ne nécessite plus que 14 opérations (5 ET, 4 OU et 5 NOT)



Il existe plusieurs méthodes pour effectuer cette simplification :



Manuellement en utilisant les règles de base de l'algèbre de boole (a+a = a, a+ab = a etc...) c'est fastidieux quand l'équation est un peu complexe.

La méthode des tables de Karnaugh est une technique graphique, bien adaptée à l'humain car visuelle mais qui souffre toutefois de 2 défauts :

- D'une part il faut avoir un peu l'habitude de l'utiliser sinon des erreurs sont faciles à commettre y compris lors du remplissage de la table.

- D'autre part elle devient pénible au-delà de 4 variables et en pratique limitée à 6 variables.

La méthode de Quine-McCluskey, complétée si besoin par la méthode de Petrick qui est en théorie illimitée quand au nombre de variables et assez facile à programmer de part son caractère algorithmique.



Le logiciel proposé ici est basé sur les méthodes de Quine-McCluskey et de Petrick.

QMCP accepte jusqu'à 16 variables booléennes. Il est possible d'obtenir la fonction simplifiée sous la forme d'une somme de produits ou d'un produit de sommes.



L'application est développée sous « DELPHI community edition v10.3 » qui est gratuite moyennant quelques conditions.

Les sources sont fournies, ainsi qu'un manuel au format PDF que je pense assez complet.



Pour installer l'application QMCP :

Décompresser le fichier QMCP - sans EXE.zip dans le répertoire de votre choix. Rien n'est écrit ailleurs, ni dans la base de registre.

Pour désinstaller, il suffit donc de supprimer le répertoire avec son contenu.

Qu'en pensez-vous ?

[Alain_91]

Bonjour ( un peu de convivialité ne fait jamais de mal )

j'utilise épisodiquement ce logiciel sans aucun problème jusqu'à présent,
mais le besoin de traiter un grand nombre de table de vérité ( >200) et de disposer de fichiers résultat des analyses
m'ont amener à envisager d'effectuer quelques modifications cosmétiques dans les sources afin de répondre à mon besoin
( car la perspective de l'utilisation manuelle répétitive et fastidieuse ne me satisfaisait pas outre mesure )

avant toute modification , j'ai voulu vérifier que je pouvais compiler les sources
mais des erreurs apparaissent car il manque des fichiers dans le répertoire source
Les fichiers manquant sont : petrick_3.pas, xStrings.pas, Icon-full2.ico et GRSPIN.res

J'ai solutionné ces manques avec quelque recherches ( mais avec quelques warning à la compilation)
Même si ce logiciel a été publié il y a maintenant quelque années , il me paraît nécessaire de signaler ce problème
car il n'est jamais trop tard à mon avis !

Les modifications fonctionnent à merveille et j'obtiens les fichier résultats d'une liste table de vérité automatiquement
Les sources avec une exemple de liste de fichier sont disponibles évidemment
pour la documentation il faudra attendre un peu !

Cordialement

[AbeBar27]

Bonjour ( un peu de convivialité ne fait jamais de mal )

j'utilise épisodiquement ce logiciel sans aucun problème jusqu'à présent,
mais le besoin de traiter un grand nombre de table de vérité ( >200) et de disposer de fichiers résultat des analyses
m'ont amener à envisager d'effectuer quelques modifications cosmétiques dans les sources afin de répondre à mon besoin
( car la perspective de l'utilisation manuelle répétitive et fastidieuse ne me satisfaisait pas outre mesure )

avant toute modification , j'ai voulu vérifier que je pouvais compiler les sources
mais des erreurs apparaissent car il manque des fichiers dans le répertoire source
Les fichiers manquant sont : petrick_3.pas, xStrings.pas, Icon-full2.ico et GRSPIN.res

J'ai solutionné ces manques avec quelque recherches ( mais avec quelques warning à la compilation)
Même si ce logiciel a été publié il y a maintenant quelque années , il me paraît nécessaire de signaler ce problème
car il n'est jamais trop tard à mon avis !

Les modifications fonctionnent à merveille et j'obtiens les fichier résultats d'une liste table de vérité automatiquement
Les sources avec une exemple de liste de fichier sont disponibles évidemment
pour la documentation il faudra attendre un peu !

Cordialement

Bonjour,
J'ai ajouté les fichiers manquants dans les sources xStrings.pas, Icon-full2.ico et GRSPIN.res.
L'unité uPetrick3.pas est inutile, elle est prévue pour une amélioration des performances... toujours en projet (voir le manuel QMCP §6.4.1)
La compilation conditionnelle doit se limiter à {$DEFINE PETRICK2} pour l'instant.

Félicitation pour vos améliorations