This function describes the hidden weighted bit function (HWB). HWB seems to be the simplest function with exponential OBDD size (see [BLSW:1999]).