摘要
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。
To determine the minimal coveting in partial four-valued logic, according to the completeness theory in partial K-valued logic, regularly separable relation and the sinfilar relationship theory among precomplete sets, the minimal coveting in partial four-valued logic was analyzed, and 222 sets of 270 preserving quaternary regularly separable relations function sets were proved not to belong to the minimal coveting members in partial four-valued logic.
出处
《山东大学学报（理学版）》
CAS
CSCD
北大核心
2008年第12期24-27,共4页
Journal of Shandong University(Natural Science)
基金
国家自然科学基金资助项目(606731931)
湖南省教育厅重点资助项目(07A067)
湖南省教育厅资助项目(08C390)
