标签：使逻辑函数为的最小项有个