Logic Minimizer 1.2.1

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

Keywords: karnaugh, kmap, boolean, algebra, Viech, implicant, formal, logic, digital, propositional, proposition, SOP, POS, CNF, DNF, validity, simplify, minimize, reduce, truth, table, circuit, gate, step by step, logic minimizer

Click to enlarge

Author:

Vikhetan Appa     Other programs by Vikhetan Appa

Downloads:

41

Size:

7086K

Cost:

$22.95 US

Users Rating:

    Reviews (0)     Write review

Feedback:

Report broken download     Report spyware [?]

License:

Shareware [?]

Operating Systems:

Release Status:

new (2010-01-31)

Recent Changes:

Step by step solver handles XOR operator, compatible with Windows 7

Supported Languages:

English

Additional Requirements:

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

Basic Algebra Shape-Up
Hands-on algebra tutorials covering integers, expressions, equations, and more.

Scientific Advantage Calculator
Unit Aware Calculator that lets you work with ft-in-fraction dimensional values

Primary 1 Test Papers
Primary 1 English and Maths test papers. 1500 challenging quizzes to practice.

Primary Test Papers
Primary 2 English and Maths test papers. 1500 challenging quizzes to practice.

Primary 3 Test Papers
Primary 3 English, Maths & Science test papers. 2500 quizzes to practice.

Primary 4 Test Papers
Primary 4 English, Maths & Science test papers. 2500 quizzes to practice.

Primary 5 Test Papers
Primary 5 English, Maths & Science test papers. 3000 quizzes to practice.

Primary 6 Test Papers
Primary 6 English, Maths & Science test papers. 3000 quizzes to practice.

PG Calculator (Second Edition)
Multifunction scientific skinable Algebraic/RPN calculator for Windows

Sidewinder Conveyor Design Software
Software for belt conveyor systems.

Bersoft Image Measurement
MindDecider
OkMap
Quality Window
AcaStat Windows
NeuroSolutions
VIGraph
Compact Scientific Calculator 54
Survey Power
Complex Calculator Precision 18

GIPALS - Linear Programming Environment (281 dl.)
StatPlus 2009 Portable (281 dl.)
Pixcavator IA - Image Analysis (265 dl.)
MITCalc - Torsion Springs (258 dl.)
TRANSDAT (English) (256 dl.)
OilProp (245 dl.)
Scientific Calculator Precision 54 (237 dl.)
Cut 1D X (237 dl.)
Clarity (222 dl.)
MITCalc - Pinned couplings (220 dl.)