论文部分内容阅读
用自动推理方法实现多值数字系统逻辑设计的关键问题是如何提高推理效率。该文在有序线性归结的基础上提出一种S线性归结法，（Simpleresolution），并对用这种方法以T门为元件实现多值逻辑设计的原理（推理方法、设计步骤）作了详细描述。实例表明使用该算法推理过程简单，效率高，便于计算机自动实现。（本刊录）