部分四值逻辑中保二元正则可离关系非最小覆盖的剔除 |
点此下载全文 |
引用本文:龚志伟,刘任任.部分四值逻辑中保二元正则可离关系非最小覆盖的剔除[J].计算技术与自动化,2011,(3):76-78 |
摘要点击次数: 1373 |
全文下载次数: 141 |
|
|
中文摘要:为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论, 对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。 |
中文关键词:多值逻辑 完备性 正则可离关系 最小覆盖 |
|
The Elimination of Not Belonging to the Minimal Covering of Preserving Binary Regularly Separable Relations in Partial Four valued Logic |
|
|
Abstract:To determine the minimal covering in partial four valued logic, according to the completeness theory in partial k valued logic, regularly separable relation and the similar relationship theory among precomplete sets, the minimal covering in partial four valued logic is analyzed, and 222 sets of 270 preserving binary regularly separable relations function sets are proved not belonging to the minimal covering members in partial four valued logic. |
keywords:multi valued logic completeness regularly separable relations minimal covering |
查看全文 查看/发表评论 下载pdf阅读器 |