共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
3.
4.
本文对Multisim软件中虚拟仪器逻辑转换器进行了简要的说明,并通过具体实例介绍了利用逻辑转换器进行逻辑函数化简与变换的方法。 相似文献
5.
在传统的数字逻辑电路设计中,首先根据要求列出真值表,由真值表写出逻辑函数,然后进行逻辑函数化简,最后根据化简结果设计电路图,整个设计过程比较繁琐,且容易在化简过程等环节中出现错误,如果借助于Multisim软件来进行数字逻辑电路的设计,可以简化设计过程,提高电路设计的正确性。本文基于以上思路来探讨利Multisim对数字逻辑电路的设计。 相似文献
6.
模糊集是信息处理的有效方法之一,而模糊蕴涵算子是模糊集之间的一类重要的运算,在模糊信息处理中起着十分重要的作用。本文将给出蕴涵满足布尔迭代律的充要条件。 相似文献
7.
8.
9.
10.
文章认为,蕴涵关系"P→Q"基于命题P与Q的真值约定是不可取的,而应该将其定义为有效推理,这样不但可以解决通常所谓的蕴涵怪论,更可以使我们对反证法有新的认识。实际上,由于"已知事实"的被忽略,反证法的两种常见模式——"~P→P,所以P"与"~P→Q,~P→~Q,所以P"——都是存在问题的;为此,在所谓的标准模式中,笔者特别强调了"已知事实"的重要性。最后,通过梳理哥德尔不完全性定理的整个证明过程,发现了三个导致其证明无效的重要因素:(1)根据"定理Ⅴ"推导的式(15)(16)有误,并且两式的"或"关系,被误当作了"与"关系;(2)使用了反证法的不当模式,也即"~P→Q,~P→~Q,所以P";(3)在肯定前件式的假言推理中,由于概念混淆造成了前件被肯定的假象。 相似文献
11.
12.
13.
校训体现了一所学校的办学传统、精神风貌,是该校文化传统和办学理念的沉淀,不同的校训代表了各校风格迥异的校园文化和教育理念。本文试以校训为例,从校训的形成内容、表现形式分析了校训在建设大学文化中的作用和应注意的问题。 相似文献
14.
15.
16.
对于任何一个逻辑函数式,先任选某个变量Ai,分别令其为1与0,并计算出相应结果(分别记为f1和f2),然后合并得出结果Af1+Ai^-f2。如果这个结果还不是最简形式,再选取另外一个逻辑变量Aj,重复上述过程,通过这种逻辑变量的逐次代入可以求出最简结果。若其中某个因子不论为何值(0或1),均可得到相等的其余各项的和,则该因子及其非项都是多余的。在这个结论及其证明的基础上,得出两个推论,可用于对任一逻辑函数式进行化简。这种方法既有简单统一的固定步骤,又不需要掌握更多的常用公式,集中了公式法、卡诺图法的优点。 相似文献
17.
自动测试向量生成(ATPG)是借助计算机或者其他工具根据一定的测试生成算法自动的为被测电路生成测试向量的过程。文章给出了一种位级并行(split-into-W-clones)自动测试向量生成算法,该算法的判决按照位逻辑操作运算进行。通过将该算法与SCOAP可测性测度结合起来,为该算法前后向蕴涵选择最优路径,提高每次回溯成功的概率,达到减少回溯次数、加速测试向量的生成和提高故障覆盖率的目的。通过实验看出改进后的算法具有良好的性能。 相似文献
18.
利用函数的对称性可以化简一些较为繁琐的计算,可以大大提高做题的效率与准确性,论述了函数微分与函数积分中利用对称性求解的方法和一些典型例题。 相似文献
19.
逻辑函数是Excel函数的重要组成部分,逻辑函数的使用可以进行真假值的判断及进行复合检验,有效地使用逻辑函数可以极大地提高工作效率,给人们的数据处理带来极大便利。通过分析在实践中经常会遇到的案例,对逻辑函数的使用进行了分析,提出了逻辑函数灵活运用的方法。 相似文献
20.
将通过科学展开的方式:创新性与继承性,基于科学的检验蕴涵与隐喻,对作为科学认知主体的"主体"与存在哲学的"此在"进行理论调和,让科学与存在哲学在人的意义上握手言和. 相似文献