部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定

根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集.     

正则分划D~r的存在性

根据Ｅｋ的正则分划Ｄｒ的阶数ｒ以及满足正则分划定义的直接分划的个数ｍ与ｋ的关系，给出了两个主要结果：（１）当ｒｍ＞ｋ时，Ｅｋ不存在正则分划；（２）当ｒｍ≤足时，Ｅｋ一定存在正则分划Ｄｒ．并给出了Ｅｋ，当ｋ≤５时的正则分划的实例计算．     

多值T门的电路实现及其应用

本文在介绍多值T门算子概念的基础上,着重研究了如何运用DYL集成线性与或门实现多值T门及其在多值逻辑网络设计中的应用。     

部分三值逻辑中准完备集的最小复盖

根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。     

基于三值触发器的三值时序电路分析

一、引言 近年来,为了克服多值逻辑在付诸实用中遇到的障碍——缺乏合适的存贮元件而进行的努力取得了进展,文献[1—3]提出了主从JKL型、T型及D型与维持阻塞D型、T型三值触发器的设计,从而形成了完整的三值触发器系列。基于三值触发器的三值时序电路综合的研究也取得了进展,然而尚缺乏有效的三值时序电路的分析方法。作为对上述工作的补充,本文讨论三值时序电路的代数分析法。     

四值“或非”门与五态门电路的研究

采用双极型晶体管设计出了四值TTL“或非”门、“与非”门和“与或非”门电路及五态门 ,这些电路均具有较好的输入输出特性、较强的负载能力和抗干扰能力 ,噪声容限可达到± 0 .6V。特别是“与非”门和“与或非”门不仅全部由NPN型晶体管构成 ,且电路结构非常简单 ,容易做成集成电路。所介绍的电路具有实用价值 ,可用作构造四值数字系统、人工神经网络和模糊逻辑系统的基本单元电路     

关于部分K值逻辑Sheffer函数(III)

根据部分多值逻辑的完备性理论 ,证明了m =2时的一类单纯可离函数集在P k 的极大封闭集之最小覆盖中必须出现 .     

关于部分K值逻辑Sheffer函数(Ⅲ)

根据部分多值逻辑的完备性理论，证明了m=2时的一类单纯可离函数集在P^*k的极大封闭集之最小覆盖中必须出现。     

反链在正则三值逻辑函数个数计算中的应用

正则三值逻辑函数个数的计算十分复杂，本文将这一问题与ｎ维三元偏序集Ｅｎ以及的幂集中反链的计算联系起来，得到了两个有用的计数公式和，从而为解决这一问题提供了一种新的途径．     

部分四值逻辑中L型函数集与拟线性函数集之确定

根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决．