部分四值逻辑中保二元正则可离关系非最小覆盖的剔除

龚志伟; 刘任任

部分四值逻辑中保二元正则可离关系非最小覆盖的剔除

引用本文：龚志伟,刘任任.部分四值逻辑中保二元正则可离关系非最小覆盖的剔除[J].计算技术与自动化,2011,(3):76-78

摘要点击次数: 1272

全文下载次数: 141

作者	单位
龚志伟,刘任任	(1.中南林业科技大学理学院, 湖南长沙410004 2.湘潭大学信息工程学院, 湖南湘潭411105)

中文摘要:为确定部分四值逻辑的最小覆盖，根据部分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阅读器