Download Simple Solver Simple Solver 4.3.8
An environment to design and evaluate Boolean Logic and State Machines
Download Logic Minimizer Logic Minimizer 1.2.1
Quickly minimize boolean & propositional expressions up to 24 variables