Cleaning of the code

Clean useless code, var name and add/del comment, not yet finish.
Merge branch 'Clean-Code'
Add convert function and global list.

1. add convert function between row/column and sequence index. 2. add
global list to store DNF and KNF result.
Rewrite the whole loop
Clean the code