关于部分四值逻辑中完满对称函数集最小覆盖判定的一些结果  

Some Results on the Decision of the Minimal Covering for Fully Symmetric Function Sets in Partial Four-valued Logic

作　　者：黄锋[1] 刘任任[1] 

机构地区：[1]湘潭大学信息工程学院,湖南湘潭411105

出　　处：《计算技术与自动化》2006年第1期41-43,共3页Computing Technology and Automation

基　　金：国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099)

摘　　要：对部分四值逻辑中保完满对称关系的78个准完备集按相似关系剔除不属于最小覆盖的32个准完备集,为部分四值逻辑中准完备集最小覆盖的判定提供基础。The thesis eliminates 32 precomplete classes that don＇t belong to the minimal covering by means of the concept of similar relationship from 78 precomplete classes of full symmetric relations in P4＊. It lay the foundation for decision of the minimal covering of Precomplete in P4＊.

关 键 词：多值逻辑 完备性 准完备集 SHEFFER函数 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]