remove whitespace.
add code to transform proposition to conjunctive normal form. refractor code.