Truth table overhaul

- Added TruthTable.reduce
- Added TruthTable.restrict
- Added TurhtTable.satisfy_count
- Fixed issue #11, TruthTable.__str__ method returns generic string