三值逻辑

作品数：130被引量：209H指数：7
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：金翊汪鹏君毛宇光姚从军沈云付更多>>
相关机构：上海大学宁波大学南京大学南京航空航天大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金浙江省自然科学基金国家社会科学基金浙江省公益性技术应用研究计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
故障诊断与指数运算被引量：2
《计算机学报》1991年第5期398-400,F003,共4页方振贤 
本文深入研究三值逻辑系统中的指数↑运算和按位↑运算的一些定理。 1.故障网络的三值特性 逻辑网络的正常状态和任意类型故障状态可用三值逻辑函数描述: (1)用x^1表示信号x通过线f的传送,其中f为任意三值函数,若f=a∈B_3,则表示线a正常...
关键词：故障 诊断 三值逻辑 电路 网络 
对称三值逻辑及对称三值CMOS电路被引量：4
《计算机学报》1991年第5期389-394,共6页陈偕雄 吴训威 
国家自然科学基金
本文从负数表示的研究引入对称三进制系统与对称三值逻辑.基于作者提出的传输函数理论,本文讨论了基本对称三值运算的CMOS电路实现,并已用计算机模拟证明它们具有正确的逻辑功能与理想的DC传输特性.基于这些基本电路单元,本文进一步设...
关键词：CMOS 电路 三值逻辑 对称 
对称与非对称三值逻辑的关系被引量：3
《计算机学报》1990年第9期713-716,共4页方振贤 
1.对称三值逻辑的基本运算 对称三值逻辑的三个基本运算可以表示成非对称三值逻辑的导出运算。
关键词：三值逻辑 数理逻辑 
一种三值逻辑的NP完全问题与判定问题被引量：1
《计算机学报》1990年第8期561-568,共8页李祥 
本文建立了一种三值逻辑——中介逻辑的三值语义,证明了其命题演算MP与MP的可满足问题是NP完全的且其谓词演算(带或不带等词)MF,MF与ME的判定问题是算法不可解的。
关键词：三值逻辑 NP完全问题 数理逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部