N个逻辑变量，共有N个最小项。