Karnaugh maps are graphical tools used to simplify or minimize Boolean expressions by taking advantage of human pattern recognition capabilities to drastically reduce what would otherwise be complex calculations. They're used by engineers and academics for applications ranging from designing digital devices to working with formal logic expressions. Logic Minimizer from Vikhetan Appa is a unique Windows application for step-by-step simplification of Karnaugh maps, but its full complement of features makes its suitable for working with all forms of logic expressions.
Logic Minimizer's efficient interface sports specialized icons in the toolbar as well as its unique graphical depictions of Karnaugh maps, propositional logic truth tables, and circuits in pop-up displays in the main window, but it's got the familiar Windows look and feel. Boxes for entering formulas and other tasks are clearly configured and labeled, making for easy operation. We'll admit that we applied little in the way of relevant expertise to this program's primary functionality, but it did everything we tried without crashing, which is all we can ask. If you need or can make good use of Logic Minimizer, though, we have no doubt you'll find it equally easy to use, despite industrial-strength capabilities that have won it a place at many high-tech companies.
Skilled developers are constantly turning out tools that simplify complex jobs. Logic Minimizer is just such a tool. Whether you're a semiconductor designer or a philosopher, if you regularly use Boolean logic and other logical expressions in your work, it might be just the tool you've been searching for.
Editors' note: This is a review of the full version of Logic Minimizer 1.2.1. The trial version is limited to 30 days.
From Vikhetan Appa:
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.
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.
1. The input is not at all user friendly. Input is not user friendly.
!X is just as good as X' or -X so why not accept them all?
2. Application opened but when its main function is run it caused errors and had to be shut down by windows.
Logic minimizer accept all of the variations! You may want to change the settings in the Option screen or change to Verilog mode in Formula window when entering expression.
I am curious about the second issue. In my school, we currently have the program installed on win xp machines. We have also successfully deployed it on linux workstations using wine. And we plan to upgrade in win 7 in the coming months. Are you experiencing these issues on win 7?