Boolean-expressions-disjunctive-normal-form