n变量的全部最大项的逻辑乘恒为0。