Propositional Logic - this software shows sub-formulas and syntactic tree of a propositional formula.
Just compile and run. Then o software will ask the formula, that should follow this symbols default:
[ & ] Conjunction
[ # ] disjunction
[ ~ ] Negation
[ > ] Implication