Add a general interactive console for the logic evaluator

[hhoikoo]

• Declare Formula as an instance of Read class
• Create a main program that gets user input, parses it, and chooses which algorithm to use