>Does anybody knows if there is a Mathematica package for digital logic circuit minimization.
>I am talking about a Quine-McCluskey implementation. I have found one for my HP48G+ calculator but it's a bit slow...
>Support of so-called ''don't care'' values would be appreciated but is not essential.
You might try searching on MathSource (mathsource.wolfram.com) or posting to MathGroup (library.wolfram.com/mathgroup