Truth-table construction practice. Frege, by David R. Bell. Proof checker for natural deduction system in Lemmon, Beginning Logic. Lessons in Reading and Reasoning. Drills on various formal and informal fallacies.
Tracks correct answers for instructor viewing.
Logic, by John W. Scott. Allows user to construct circuits containing Boolean logic gates using MacPaint-like graphical tools. John W. Scott, Dept. of Math and Computer Science, Dartmouth College, Hanover, NH 03755. The Logic Simulator, by R. W. Doran. Allows logic circuits to be designed and tested.