An new concept of saturated conjunctive normal form is introduced and the nature of sat problem is studied for utilizing the characteristic of saturated conjunctive normal form.
引入了一个饱和合取范式的概念，利用饱和合取范式的性质，对SAT问题的本质进行了研究。
2
By analyzing the basic attributes of the documents and the relationship of these attributes, a conceptual uni-semigroup can describe the relation of concept sets based on the conjunctive operation.