n变量的逻辑函数，任意两个不同最小项之积为（1），任意两个不同最大项之和为（2）。