An interpreter that parses propositional logic formulas and lets you run built in algorithms on them and generate truth tables.