Modify and implement algorithm for CNF transformation.

Detail:
- pseudo code is added into cnf methods in And and Or class,
- testing is required.