Mp3 & Audio
  Business & Finance
  Desktop Enhancements
  Games
  Home & Education
  Internet
  Multimedia & Design
  Software Development
  Utilities
  Web Developer
 

 Recommend Software
 
AAAPDF - PDF conversion tools provider
 
Home >> Home & Education >> Mathematics >> Logic Minimizer
 

Logic Minimizer - 1.2

Quickly minimize boolean & propositional expressions up to 24 variables

click to view Logic Minimizer's screenshot    Logic Minimizer is a special application for simplifying logical expressions, namely Boolean and propositional expressions. It is geared for digital and formal logic scholars and academic or anybody involved with logical expressions.

Full description
Download

Logic Minimizer is a special application for simplifying logical expressions, namely Boolean and propositional expressions. 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.

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
 
About
Product Name:
Logic Minimizer
 
Version:
1.2
 
File Size:
7020 KB
 
Price:
22.95
 
Requirements:
PC with Pentium class processor, 64MB of RAM, 12.5MB of free hard disk space, mouse/pointing device
 
Rating:
 
 
 
 
 Related software
Random Number Generator Pro
Random Number Generator is a application designed to generate random numbers.

Random Number Generator PPC
Random Number Generator PPC is a Windows Mobile based software that produces sequences of random numbers. Program can exclude digits and numbers from generated random sequences.

Function Grapher
Function Grapher is an easy-to-use software for 2D, 2.5D and 3D function graphing, animation and table data visualization.

Complex Grapher
Complex Grapher is a graphing calculator to create a graph of complex function. 3D function graphs and 2D color maps can be created with this grapher.

Math Studio
Math tool for high school teachers and students. Function graphing and analyzing, sequence of number, analytic geometry and solid geometry.

Rapid-Pi
Rapid-Pi is an add-on for Microsoft Word (and other word processors) that provides a new, fast way to enter mathematical formulas, equations and expressions into documents. Rapid-Pi's text-based input is a simply faster way to input math.

FindGraph
FindGraph is comprehensive, feature-rich graph editor, as well as a curve fitting and digitizing tool for engineers, scientists and graduate students. Discover the model that describes your data the best.

Advanced Converter
Advanced Converter is a professional program for conversion units of measurements. The program contains more than 1700 units divided in 66 groups. You may add and arrange groups and units in according with your personal preferences.

EldoS AnyCalc
EldoS AnyCalc is ideal if you are accountant, programmer, researcher, student - it can be invoked with one key press and supports 150 functions and operators. Common fractions are supported too now.


Shareto Networks Useful Resources,