Automatic generation of truth tables for propositional logic