This is a truth table generator in python. Features:
- reads and translates standard propositional logic syntax into python's functional syntax
- checks the formulas for bad syntax
- contains operator definitions
- draws the truth table for formulas with up to 10 propositional variables