Sounds like your major problem is setting up a logic gate simulator. Will this be a system wherein you connect many gates together to form complex systems or just a one-gate-at-a-time simulator for demonstrating how AND and OR gates function? Also, does it need to be graphical or will text output be sufficient?
-Theo-
(so many nodes and so little time ... )