Modify and implement algorithm for CNF transformation.
Modify and implement algorithm for CNF transformation.

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

urska19/LVR-sat