unicode
Merge branch 'master' of ssh://github.com/PeterDrake/Logic
Added print statements to test TruthTableChecker
Merge branch 'master' into TruthTableBuilder3