利用卡诺图快速化简逻辑函数的方法

该文分析了利用卡诺图法化简逻辑函数的基本原理，并根据自己的教学实践，提出了快速画出逻辑函数的卡诺图及由卡诺图快速化简逻辑函数的方法。     

用坐标的观点看卡诺图

卡诺图(K-Map)是用来描述一个逻辑函数并且可以化简一个逻辑函数的特殊图形。在用卡诺图表示逻辑函数时,有时给出的逻辑函数是与或表达式,我们必须先把逻辑函数化简成最小项表达式形式,然后再填入卡诺图,而且需牢记变量卡诺图的顺序表示,比较繁锁,且易出错。在利用卡诺图法化简时也往往不能快速准确地写出化简后的逻辑函数表达式,利用坐标的观点来看卡诺图,这些问题可以迎刃而解。     

极小项与极大项的运算性质

研究了极小项、极大项的运算性质，给出了一组运算公式，利用这些运算公式可以使求命题公式的主范式运算更简洁。     

三值逻辑函数表格法最小化的一种新方法

根据格代数公式，对三值逻辑函数表格法最小化提出一种新方法。在搜索蕴涵项、质蕴涵项的过程中，采用找出满足下述条件最小项的策略：一是相邻最小项的数量为3的m次或或者m-1次幂，同时保证m数值尽量大(m=1，2，…)。二是最小项的逻辑值为“1“或“2“。为此，利用避开最邻近的最小项方法（该最小项逻辑值小于被选择最小项的逻辑值），从而减少了冗余项的数量。这种方法尤其适合于含有大量无关项的多变量三值逻辑函数最小化。     

编码器真值表与逻辑表达式的关系探讨

通过对编码器真值表的特点分析,利用卡诺图最小项合并规则得出了直接书写逻辑表达式的具体方法.该方法通俗易懂,特别在卡诺图化简、组合逻辑电路设计中具有一定的理论参考价值。     

逻辑代数中函数F（A1，A2，……An）与F’（A1，A2，…，An）间关系探讨

本文通过作者当年的数学经验，就逻辑函数F（A1，A2……An）和F’（A1，A2，……An）的最小项关系进行了总结，进而可由F（A1，A2，……An）的第一范式直接求F’（A1，A2，……An）的第一范式，简化了解题步骤。     

脉冲型时序逻辑网络设计(Ⅰ)

本文讨论了脉冲型时序逻辑网络中各触发器控制方程的求法,并给出了脉冲型时序逻辑网络设计的一种新方法。这种方法适用于计算机辅助设计。     

逻辑函数及最小项与最大项运算规则研究

根据逻辑函数最小项和最大项定义，探讨其运算规律，得出几个运算规则公式。根据这些公式，导出了逻辑函数之间的运算性质。     

命题逻辑中主范式的求法

求主析取范式包括真值表法、推演法以及用真值表法求( )G的主析取范式、用推演法求G的主合取范式等四种方法.用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求┐G的主析取范式的定理.