The Switch... item (menu Construction) asks for for a subset A of the Varset X and replaces in HH each literal of A by its opposite.