摘要
对部分四值逻辑中保完满对称关系的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＊.
出处
《计算技术与自动化》
2006年第1期41-43,共3页
Computing Technology and Automation
基金
国家自然科学基金资助项目(60083001)
湖南省自然科学基金资助项目(03JJY3099)
