首页 | 本学科首页   官方微博 | 高级检索  
     检索      

部分四值逻辑单纯可离函数集最小覆盖之判定
引用本文:许芬.部分四值逻辑单纯可离函数集最小覆盖之判定[J].海南师范学院学报,2006,19(3):222-224.
作者姓名:许芬
作者单位:海南师范学院计算机科学与教育技术系,海南海口571158
摘    要:根据部分K值逻辑的完备性理论,通过剔除部分四值逻辑中能被其余准完备集覆盖的单纯可离函数集.缩小了判定最小覆盖的范围.

关 键 词:多值逻辑  单纯可离  最小覆盖
文章编号:1671-8747(2006)03-0222-03
收稿时间:2006-07-28

The decision on the minimal covering of simply separable function sets in partial four-valued logic
Authors:XU Fen
Abstract:According to the completeness theory in partial K-valued logic, the simply separable function sets which can be covered by other precomplete sets was picked out and the scope of minimal covering was thus lessened.
Keywords:multiple-valued logic  simple separability  minimal covering
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号