The Complement item (menu Construction) gives the complement of H in the same normal form than the current one.