布尔函数
Any pseudo-Boolean function can be written uniquely as a multi-linear polynomial: