add bdd_or function