-
题名逻辑恒等式的若干证法
- 1
-
-
作者
孙霞林
-
机构
武汉化工学院计算机系
-
出处
《华中农业大学学报》
CAS
CSCD
北大核心
2001年第4期404-406,共3页
-
文摘
全面系统地总结了逻辑恒等式的证明方法 ,在阐明各种证法的思想、方法的基础上 ,用形式多样的例子说明了逻辑恒等式的证明步骤 ,并简要的介绍了一些方法的使用技巧。
-
关键词
证明方法
逻辑恒等式
逻辑代数
真值表法
公式法
对偶法
-
Keywords
provable methods,logical identities,logical algebra
-
分类号
O141
[理学—基础数学]
-
-
题名混合控制变量序的三值T门网络化简方法
被引量：1
- 2
-
-
作者
刘观生
沈继忠
陈偕雄
-
机构
浙江大学信息与电子工程学系
-
出处
《浙江大学学报（理学版）》
CAS
CSCD
2002年第5期500-505,共6页
-
基金
浙江省科技厅重点资助项目 (0 0 1110 0 2 1) .
-
文摘
为获得 T门网络的最佳控制变量顺序 ,对于 n个变量的函数 ,用传统的方法需作 n!次搜索 ,如果考虑混合控制方式 ,则搜索的次数更多 .为了减少搜索次数 ,并尽可能得到更为简单的 T门网络 ,本文通过对真值表分割法的分析 ,并结合 T门网络的特点 ,提出了一种用 T门实现三值逻辑函数的真值表分割法的改进算法 .该算法可实现混合控制变量序的 T门网络的最简或接近最简实现 ,且易于编程和上机操作 .最后还对几种 T门网络化简方法的优劣进行了比较 .
-
关键词
混合控制变量序
化简方法
多值逻辑
T门网络
逻辑设计
三值逻辑函数
真值表分割法
-
Keywords
multiple-valued logic
T-gate network
logic design
minimization
-
分类号
TN791
[电子电信—电路与系统]
-
-
题名煤矿井下安全避险“六大系统”的可靠性分析
被引量：18
- 3
-
-
作者
丰建荣
史鹏飞
代贵生
-
机构
太原理工大学矿业工程学院
中国神华神东煤炭集团补连塔煤矿
-
出处
《太原理工大学学报》
CAS
北大核心
2011年第6期625-627,共3页
-
文摘
基于煤矿井下安全避险"六大系统"的可靠性框图,分析了相关子系统的可靠性逻辑模型,并采用布尔真值表法对"六大系统"进行了可靠性研究,提出了优化其可靠性的方法,为煤矿井下安全避险"六大系统"的可靠性优化和管理提供了理论依据。
-
关键词
“六大系统”
可靠性
布尔真值表法
-
Keywords
six systems
reliability
Boolean
-
分类号
TD771
[矿业工程—矿井通风与安全]
-
