The Dual form item (menu Presentation) gives an equivalent expression of the function in dual normal form. The result is the list of all prime implicants (in CNF) or all prime clauses (in DNF).