The Product item (menu Operations) opens a dialog to choose a boolean function HS. Then the function HH.HS is generated. This is the dual of the Union item.