Added bdd algorithms and playing with examples.