Remove coding cookie from `bdd_to_formula.py`
Add solution for exercise 9
Add solution for exercise 10