Logic Minimizer

An innovative and versatile application for simplifying Karnaugh maps and Boolean expressions.

For Windows 10/11 users:
iPhone, iPad, IPod Touch


→ Minimize Karnaugh Map up to 8 variables

Step-by-step simplification of Boolean expressions up to 26 variables using Boolean algebra laws and theorems

Step-by-step simplification of Boolean functions up to 8 variables using the Quine-McCluskey algorithm showing the prime implicant chart and using Petrick's method

Multi-Output minimization up to 8 inputs and 8 outputs, using the de-facto industry standard Espresso algorithm

→ Convert Boolean formulas into Sum-of-Products and Product-of-Sums

→ Support Don't Cares

→ Fill Karnaugh map with truth table, sets of terms and formula

→ Search for all equivalent solutions for Karnaugh Maps up to 4 variables

Highlight minimized term on Karnaugh Map

Complete optimization of simplified Boolean formula with XOR gates

→ Generate logic circuits from minimized solution using AND/OR, NAND and NOR gates

→ Generate random Karnaugh maps, truth tables and Boolean expressions

→ Support ALL Boolean operators and constants

Fully customizable Karnaugh map orientation, variable names, operator symbols and expression format


Logic Minimizer provides high quality solutions for digital minimization problems. With continuous innovations in the product's underlying operations and rigorous testing procedures since the first version launched in 2008, you can rest assured that you are using the finest tool.

Besides, the industrial strength of Logic Minimizer is highly sought after on a daily basis to provide critical answers to a large number of users, educational institutions, research organizations and businesses worldwide.

If you are using Logic Minimizer in your organization, we would love to know about your use case.




http://www.dantonioconsultants.comwww.compuware.com http://www.l-3com.com