Text this: Disjunctive and conjunctive decompositions of incompletely defined Boolean functions in a Binary Decision Diagram