10具有约束项的逻辑函数