基于 Q-M 算法的逻辑化简程序C语言的实现，实现一个能处理十变量及以上的逻辑函数化简工具。附带完整C语言代码。化简原理概述：搜索所有本原蕴含项，然后从这些本原蕴含项中提取出覆盖开状态集合的最小集合
2021-09-23 20:05:04
216KB
1
1.1 概述（无图）
1.2 逻辑代数中的三种基本运算
1.3 逻辑代数的基本公式和常用公式（无图）
1.4 逻辑代数的基本定理（无图）
1.5 逻辑函数及其表示方法
1.6 逻辑函数的公式化简法（无图）
1.7 逻辑函数的卡诺图化简法
1.8 具有无关项的逻辑函数及其化简
2021-08-11 13:02:45
1.83MB
1
本人某大学本科生，今年大二。最近学习数电的过程中了解了逻辑函数以及用卡诺图对其进行化简，于是便萌生了编写一个程序绘制卡诺图并化简逻辑函数的想法。经过两天的努力，已经基本可以实现功能（包括卡诺图的生成、最简表达式的写出等），希望可以帮助到有需要的同学。
2021-06-21 21:01:36
17.76MB
1
首先，本文讨论了弱 ＭＴＬ－代数的性质，并给出弱 ＭＴＬ－代数的等价刻画；其次，将蕴涵演绎系统.的概念引入到弱 ＭＴＬ－代数中，并研究了演绎系统与蕴涵演绎系统的关系，且给出蕴涵演绎系统的几个.等价条件；最后，讨论了弱 ＭＴＬ－代数中的演绎系统和同余关系之间的相互决定的关系，并证明了在 弱.ＭＴＬ－代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱 ＭＴＬ－代数。
2021-02-26 17:05:07
340KB
1