极小项与成真赋值一一对应。极大项与成假赋值一一对应。
发布人