Updated app to use new TruthTables
Added top and bottom symbols to keyboard and grammar
Overrode toString() for TruthTable
Added new TruthTables tests for top and bottom
Creation of RuleEngine using TruthTables
Creation of RuleEngine using TruthTables
Added equalsSet in TruthTable to compare tables
Added replacement function to replace variables to constants so rule comparison can be made
Added more rules to bitset
Added all new rules up to user input
Completed rules in RuleApplicator
Fixing tests
Updated rule selector
Updated rule engine
Completed applying random rules
Fixed truth tables for true and false atoms
Completed all rule applicator tests
Added rule selection tests - all pass