download25.com

Your free TOP 25 download source!

Featured Software

 IconInstant Invoice n Cashbook
Invoice, quotes and cashbook software for the small business.
instinvcbk10.exe

 IconMITCalc - Compression Springs
Geometric and strength designs of helical compression cylindrical springs
MITCalcSprComp01.exe

 IconBelltech Small Business Publisher
Design and print professional labels, letterheads, brochure, envelopes and more.
sbpub.exe

 IconExcel Invoice Manager Pro
Billing software & invoice software based on Excel form/template
excel_invoice_manager_setup.exe

 IconBlueprint for Outlook Professional
Save Money and Increase Productivity with Blueprint for Outlook.
blueprintsetup.msi

Logic Minimizer 1.1

Minimize boolean & propositional expressions, using Karnaugh maps
Publisher: Vikhetan Appa
Category: Business
Version: 1.1
License: shareware
Cost: 22.95$
Size: 6.34 MB
Updated: 05 Jul 2010
award
Review
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, small digital devices constructors or anybody involved with logical expressions.

Features:

Minimize Boolean and propositional formulae up to 8 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



download (logicmin1.1.zip - 6.34 MB)