部分四值逻辑中保二元正则可离关系最小覆盖之确定

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