4 - Logic Minimizer 1.2.1 Logic Minimizer : Simplify Boolean and propositional expressions, work with Karnaugh map, truth table and sets of terms, and highlight minimized terms on Karnaugh map License: Time-limited Trial OS: 9x/NT/2000/ME/XP Size: 7 MB KB