TautologyChacker Tautology Checker implementation in Haskell. The materials were retrieved from the book "Programming in Haskell" http://www.cs.nott.ac.uk/~pszgmh/pih.html