部分四值逻辑单纯可离函数集最小覆盖之判定 |
| |
引用本文: | 许芬.部分四值逻辑单纯可离函数集最小覆盖之判定[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 |
本文献已被 维普 等数据库收录! |