initial cnf implementation (still broken!)
Modify and implement algorithm for CNF transformation.

Detail:
- pseudo code is added into cnf methods in And and Or class,
- testing is required.
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.
Add tests for CNF conversion.