TruthTableChecker works with multiple target formulae
Merge branch 'master' into TruthTableBuilder3