The Disjoint form item (menu Presentation) gives a disjoint expression, a form in which any two terms have conflictual literals so that they cover disjoint sets of true points (in DNF) or false points (in CNF).