simplification d'equation logique

bonjour,
je recherche une bibliotheque qui permette de deduire l'equation logique minimal a partir de la table de verité.
sachant que certainne case de la table de verité on une valeur qui signifie:"sans importance"

merci de votre aide.

bonjour,

Pour la réduction / simplification d'équation logique j'utilise Kmap (réduction via table de Karnaugh).

http://k-map.sourceforge.net/

Comme kmap est sur Sourceforge, tu trouvera le code source avec. Ok, ça n'est pas une bibliothèque mais le source y est, c'est déjà pas mal...

[edit]
Oups, j'avais pas vu que le message commençait un peu à dater... Mais si ça peu aider quelqu'un via la fonction recherche...