Ive used several freeware ones in the past so they do exist but I cant remember any names unfortunately.
Anyway just wanted to mention that autocad and similar have electronic components in their libraries so if you have general CAD access at uni they should all work for a simple circuit at the gate level.