TautologyDetector is now capable of evaluating expressions with a variety of different operators.
Added some custom ErrorHandling to cut down on the console mess.