fixed some minor bugs
Merge branch 'TruthTableBuilder3' of ssh://github.com/PeterDrake/Logic into TruthTableBuilder3