working on tautology parser
more on Ex6
more on tautology parser