Logic design software

A few logic design software's. 

WinLogiLab

http://www.griffith.edu.au/professional-page/charles-hacker/resources/winlogilab

The logic lab
http://www.neuroproductions.be/logic-lab/

Simple solver
http://home.roadrunner.com/~ssolver/syn.html

Logisim
http://ozark.hendrix.edu/~burch/logisim/

I am going to try a few out and see which one works best for me and see if it cant speed up creating some of these more elaborate logic deign

Here is a list of more but not all of them are free.

http://www.electronicsoft.net/en-us/dept_3.html