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.