Added new operators xor, eq and imp
New reference implementation for TruthTables
Removed old formula class and functionality
Removed old formula class and functionality