Logic Minimizer 1.2.2

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

Author:

LogicMinimizer     Other programs by LogicMinimizer

Downloads:

351

Size:

7186K

Cost:

$22.95 US

Users Rating:

    Reviews (0)     Write review

Feedback:

Report broken download     Report spyware [?]

License:

Shareware [?]

Operating Systems:

Release Status:

update (2018-04-07)

Recent Changes:

Windows 10 Installer

Supported Languages:

English

Additional Requirements:

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

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

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

LogicLab VCL
Delphi/C++ Builder VCL/FMX components for fast boolean and application logic.

CrazyMath
Advanced calculator. Allows you to enter sequences of expressions.

DreamCalc Scientific Graphing Calculator
A free scienfitic graphing calculator that's like using the real thing.

Math Mechanixs
A scientific and engineering, math, statistics and graphing tool.

Equation graph plotter - EqPlot
EqPlot plots 2D graphs from complex equations.

G# geometry libraries for .NET
Top-performing and robust geometry libraries for .NET

MatBasic
The language of mathematical calculations

Sidewinder Conveyor Design
Belt Conveyor Design Software

TRANSDATpro
Quality Window
Double Pipe Heat Exchanger Design
Logic Minimizer
LeoCalculator
ChemMaths
Cheewoo Bevel CAM
Cheewoo Pipe CAM
Cheewoo Surface CNC
Cheewoo Pipe Template

DRAGSENS (1099 dl.)
3D Grapher (1083 dl.)
Bersoft Image Measurement (1055 dl.)
DreamCalc Scientific Graphing Calculator (1012 dl.)
Ciclo VBelt (987 dl.)
Cheewoo Surface CNC (939 dl.)
Cheewoo Pipe Template (922 dl.)
Cheewoo Pipe CAM (897 dl.)
ChemMaths (886 dl.)
Cheewoo Multi CAM (884 dl.)