The Union item (menu Operations) opens a dialog to choose a boolean function HS. Then the function HH+HS is generated. The functions HH and HS may have any normal form. When this normal form are different, the conjunctive normal form function is transformed in disjunctive normal form and the result has disjunctive normal form. In all other cases, the resulting function keeps the same normal form as its components.