Écrire une bibliothèque efficace de diagrammes de décision booléens (BDD), accompagnée de quelques exemples.