T007559 多值逻辑的理论及应用
罗铸楷等编著。 科学出版社1992年3月版。54．1万字。 系统介绍多值逻辑的代数理论、电路实现方法、逻辑设计技术、开关理论以及在计算机其他领域的应用。 分3篇。 第一篇把多值逻辑函数系的完备性判定问题转变成确定集中所有极大封闭集的问题，分别对完全定义的多值逻辑函数集、部分定义的多值逻辑函数集以及一元多值逻辑函数集的完备性进行了研究。第二篇分析讨论多值逻辑电路、多值数字系统逻辑设计、CMOS三值及三中取二值电路、数字系统的高可靠性设计技术、ECSA开关理论、多值开关级代数、多值DYL电路及其逻辑设计。 涉及多值逻辑的电路实现、多值数字系统的逻辑设计及多值开关理论。第三篇介绍如何应用多值逻辑为二值数字电路产生静态和动态测试码、多值逻辑的谱理论及其应用、多值逻辑应用于计算机系统诊断与社会诊断、转移逻辑与模态逻辑。 |