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.
This package provides logical circuit simulation, it comes with common logic elements which includes logic gates, flop-flops, binary inputs and binary viewers. User can construct any logic circuit by drag and drop.