Logic++

Logic++ is a multipurpose automated theorem proving and analysis tool for classical propositional logic (additional propositional logics may be added in updates). Its features include automated theorem proving, valid inference testing, automated (tableau) proof generation, automated truth table generation, and normal form conversion.