flycookie5132的博客

原创 [数电]用python实现卡诺图化简，自动化简逻辑表达式

使用方法：执行后调用AutoKarnaugh(item,bitlen)函数 item:表示使逻辑函数取真的所有最小项的编号的list bitlen:表示逻辑函数变量个数，返回此函数的最简表达式 '-X'表示X取反。算法思路主要是将卡诺图中的找相邻项暴力处理为遍历所有最小项，找到所有只有一个变量不同的项，进而避免图表的处理。写完后发现这个算法其实已经有人发现过了，叫Q-M算法，也体验到了一把跟先辈思路对上了的快乐。化简逻辑表达式时使用的卡诺图，如果通过手工化简，在变量较多时会变得难以处理，容易出错。