Added toNand and toNor functions

These two functions have the same structure. It may be possible
to eliminate this redundancy with fmap and the Functor class.
Added instance of Eq for LogicExp

LogicExp can now be compared for equality (==) and (/=).
(==) will check the truthtable for each argument in the
biconditional to see if they match.