Minor Qf formula updates
replaced checkWff with isWff
added TF functionality to QfWff.g4 and added more tests to QfWffCheckerTest
Updated grammar to be closer to properly recursive
The Qf grammar is a mess at the moment... but it passes most of the tests
Working on adding nested quantifier capabilities to QfWff.g4
Additional work on  the QF grammar.
updated conflicts
TruthTableChecker works with multiple target formulae
Merge branch 'master' into TruthTableBuilder3
Created a simple GUI for the main Logic Trainer GUI window.
Fixed most of the tests in QffWffCheckerTest
Fixed bug: ButtonPanel works in TruthTableBuilder when you have multiple target formulae
Merge branch 'master' into LogicTrainer
Added a second button to the main LogicTrainer GUI window.
Window now resizes to fit content
Now passes all tests in QfWffCheckerTest
Updated README
Working on adding nested quantifier capabilities to QfWff.g4
merged master into this branch