Propositional Logic parser and tautology checker