论文部分内容阅读
多值逻辑是一门新的科学,在过去十年中发展很快,并引起了愈来愈多的研究工作者的注意。自1971年以来,国际上对这门科学,每年都召开专门会议交流经验。至今,已出现了一系列的较完整的多值逻辑理论,各种多值逻辑部件、M稳定存储元件和各种多值开关系统,而且已经制成两台三值计算机。可以推测,不远的将来,在计算机科学上,二值逻辑的绝对统治将不会存在。目前,对非二值逻辑的研究成果如何应用在计算机和数字系统上,已提列重要日程上来。本文概述了多值逻辑理论在现阶段的发展情况,并说明这些理论如何才能应用于多值开关系统,或应用于二值开关系统。本文在最后一节还概要地论述了作者在研究B—K值逻辑上的各项成果。
Multi-valued logic is a new science that has developed rapidly in the past decade and attracted the attention of more and more researchers. Since 1971, the world has held special conferences on this science every year to exchange experiences. So far, a series of more complete multi-valued logic theory, various multivalued logic components, M stable memory elements and various multivalued switching systems have emerged, and two three-value computers have been made. It can be speculated that in the near future, in computer science, absolute rule of binary logic will not exist. At present, the research on non-binary logic applied to computers and digital systems has come up on the important agenda. This article outlines the development of multi-valued logic theory at this stage and shows how these theories can be applied to multi-valued switching systems or to binary switching systems. In the last section of this paper, we also summarize the author’s achievements in studying the logic of B-K.