resolve problem of simplify_logic with Implies
Added tests
Changed Implies and Equivalent to support numbers
Rectified errors in tests
Merge pull request #2175 from srjoglekar246/simplifybug

Implies and Equivalent now map numbers to (True, False)