Logic Minimizer

Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital devices constructors or anybody involved with logical expressions. With its powerful minimization capabilities and full-fledged features, you can work with all forms of logic expressions. Features: Minimize Boolean and propositional formulae up to 24 variables Convert Boolean formulae into SOP, POS and decimal notation Work with Karnaugh map, truth table and sets of terms Highlight minimized term on Karnaugh Map Draw logic circuit with various types of logic gates Optimize simplified Boolean formula with XOR gates Convert propositional formulae into DNF and CNF Find validity of propositional formulae Support all Boolean and propositional operators Formula-input-friendly: no need to transform your formula before entering Step by step simplification of Boolean and propositional expressions

Changes: Compatible with Windows 8

Minimum requirements: PC with Pentium class processor, 64MB of RAM, 12.5MB of free hard disk space, mouse/pointing device

Operating system: Win2000,Win7 x32,Win7 x64,Win98,WinOther,WinServer,WinVista,WinVista x64,WinXP,Other

Program URL: http://www.logicminimizer.com

This Software may be freely distributed online or on other electronic media provided that the files are not modified in any way.

Logic Minimizer 1.2.1 Copyright © 2008-2010 Vikhetan Appa. All Rights Reserved. END-USER LICENSE AGREEMENT This Software is distributed as Shareware. This is not Freeware or Public Domain. Shareware is "Like it? Buy it!" software, it is not free. READ THE TERMS AND CONDITIONS OF THIS LICENSE AGREEMENT CAREFULLY BEFORE USING OR DISTRIBUTING DOCUMENTATION, SOFTWARE, ADDITIONAL MATERIALS (The "Software"), UPDATES AND UPGRADES.

Read more