Download > Windows > Home & Education > Science > Logic Minimizer
Windows icon

Logic Minimizer 1.2.1

Minimize boolean propositional expressions, using Karnaugh maps

Free Download

Your rating: not submitted

Logic Minimizer screenshotLogic Minimizer is a special program for reduce logical expressions, namely Boolean and propositional expressions. It is equipped for those complicated in engineering fields, more exactly digital and formal logic academics and scholars, small digital gadgets constructors or anybody working with logical expressions.


- Transform Boolean formulae into SOP, POS and decimal notation
- Minimize Boolean and propositional formulae up to 8 variables
- Highlight minimized term on Karnaugh Map
- Work with Karnaugh map, truth table and sets of terms
- Optimize simplified Boolean formula with XOR gates
- Draw logic circuit with various types of logic gates
- Transform propositional formulae into DNF or CNF
- Find validity of propositional formulae
- Support all Boolean and propositional operators
- Formula input friendly: no need to convert your formula before entering


  • Toggle between two working modes.
  • Work with all forms of logical expressions.
Name Logic Minimizer
Version 1.2.1
Developer | see all products from this developer
Product Homepage Logic Minimizer
License Free to try (Shareware)
Last Week Downloads 2
All Time Downloads 403
Filesize 6.9MB
MD5 Checksum A9BCB808A10D7538BAF9277597A64B13
OS Support Windows All
Category Home & Education

100% CLEAN Certification

BadgeLogic Minimizer has been tested by team against viruses, spyware, adware, trojan, backdoors and was found to be 100% clean. Our editors will recheck this software periodically to assure that it remains clean.


Old Versions

Software Date Added
Logic Minimizer 1.2.1 October 25, 2012 - Latest Version
Logic Minimizer 1.1 July 05, 2009

Download the free Logic Minimizer