1. 首页
  2. 数据库
  3. 其它
  4. 部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定

部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定

上传者: 2021-02-23 09:37:35上传 PDF文件 175.97KB 热度 34次
Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一,此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖。本文根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出部分四值逻辑中保三元正则可离关系的准完备集之最小覆盖的成员。
下载地址
用户评论