This software shows the truth table and logical consequence of a logical expression.
Just compile and run. Then o software will ask the formula, that should follow this symbols default:
[ & ] Conjunction
[ # ] disjunction
[ - ] Negation
[ > ] Implication
[ |- ] Logical Consequence