added TruthTableChecker.java class
added tables of correct values conjunction and disjunction
added conditional and biconditional
Merge branch 'master' into TruthTableChecker
Merged from master
Merge branch 'master' into TruthTableChecker
Changed how operator functions work. Wrote formula evaluation for formulas with one operator. Tests included.
Merge branch 'master' into TruthTableChecker
Refactoring. Changed methods for evaluating a formula.
getTopLevelOperators can handle multicharacter operators
Merge branch 'master' into TruthTableChecker
altered hilit functionality
evaluateFormula uses recursion to handle formula with multiple operators
Edited .gitignore and deleted Wff.g4
Merge branch 'master' into TruthTableChecker

Conflicts:
	src/edu/lclark/logic/TruthTableColumn.java
Added negation method to formula evaluation and made a test for it
more hilit
Merge branch 'master' of ssh://github.com/PeterDrake/Logic
Merge branch 'master' of ssh://github.com/PeterDrake/Logic

* 'master' of ssh://github.com/PeterDrake/Logic:
  Added negation method to formula evaluation and made a test for it
  Edited .gitignore and deleted Wff.g4
  evaluateFormula uses recursion to handle formula with multiple operators
  altered hilit functionality
  getTopLevelOperators can handle multicharacter operators
  Refactoring. Changed methods for evaluating a formula.
  Changed how operator functions work. Wrote formula evaluation for formulas with one operator. Tests included.
  Merged from master
  added conditional and biconditional
  added tables of correct values conjunction and disjunction
  added TruthTableChecker.java class

Conflicts:
	src/edu/lclark/logic/Wff.g4
Merged master into refactored wffchecker