Introduction to Logic
Tools
Tools
for
Thought
Lessons Notes Glossary Exercises Puzzles Tools

General Tools

Babbage - Truth Table Generator
Boole - Multicolumn Truth Table Generator
Converter - Clausal Form Converter
Unifier - Unification Algorithm

Proof Editors

Herbrand - Fitch-style Proof Editor
Robinson - Resolution-style Proof Editor