论文部分内容阅读
根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念，构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首先，总结部分四值逻辑中，对于正则可离函数集共有129个准完各集不可剔除；然后，对保二元的48个正则可离函数集按相似关系分为9类；最后，证明这9类保二元正则可离函数集是最小覆盖成员。