Rewrite simplify method for Not class.

Reasons:
- true or false clause is not taken into account.
Change identity element for Or class in simplify method.