getDisjuncts

Return

the disjuncts.