Rewrite to support PHIL110-style truth tables
Merge pull request #1 from tdryer/master

Rewrite to support PHIL110-style truth tables