1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究P*4中保四元正则可离关系非最小覆盖的剔除.pdf

论文研究P*4中保四元正则可离关系非最小覆盖的剔除.pdf

上传者: 2020-01-05 17:29:14上传 PDF文件 778.82KB 热度 16次
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的成员。
用户评论