- implemented the evaluate, nnf, cnf and flatten methods
- implemented the simplify method (still to be done are the And and Or
branches of the simplify method)
- made small changes to the structure of the bool_formulas (renaming of
methods, adding spaces, nothing major)