hi i am new to haskell and am having a problem to write function which takes a boolean expression and returns a truthvalue stating whether or not it is a tautology. Can anyone please help me?? Thanks a lot uma __________________________________________________ Do You Yahoo!? Send your FREE holiday greetings online! http://greetings.yahoo.com