A simulator that lets you build simple, feed-forward networks of logic gates on the screen and run them to see what the results are.
A program that takes a digital algebraic expression containing up to four variables and constructs a truthtable for it.
A program that tests your knowledge of the rules of digital algebra by presenting you with an expression and asking you to simplify it step by step.