Propositional Logic

An interesting Propositional Logic shell:
http://plman.sourceforge.net/

The documentation is very good, and there are a ton of features that I have not looked at.  Below find examples of printing a truth table, entailment checking, and formula evaluation: