n变量的最小项有几个相信项