具有约束的逻辑函数化简时遵循的原则之一，每个圈中至少含一个新的（）