All the items of this menu are conceived in order to give an equivalent boolean formula (with respect to logical calculus) to the current function HH. All the computations are generally very hard and then are alerted by the suffix (NP). For each item, a new window is created whose name is the name of the corresponding function followed by the initial name HH.
The Presentation menu contains the following items: