研究了由多值逻辑函数组构成的置换。
降维图可作为化简多变量逻辑函数、设计逻辑电路的一种方法。
本文在逻辑函数简化规则及其*质的基础上，提出了化简逻辑函数的一个新的方法——拓扑法。
探讨了卡诺图化简异或逻辑函数的原理，提出了化简异或逻辑函数的新方法。
我们己经学过三种基本的逻辑函数是“与”，“或”及“非”。
阈值逻辑门具有很强的逻辑功能及独特的优点，用阈值逻辑门实现数字逻辑函数也一直受到关注。
将岩石边坡上楔形块体的几何条件归纳成逻辑函数式。
对多值逻辑函数组的正形置换进行了研究，即第二章第三节。
逻辑函数常用的化简方法有两种，即公式法和图形法。
针对代数法和卡诺图法难以化简规模很大的逻辑函数问题，提出使用蚁群算法处理大规模逻辑函数化简。
讨论了布尔减和布尔除的定义以及逻辑函数在布尔减及非运算、布尔除及非运算完备集中的展开，给出了减-非和除-非逻辑函数的化简公式。
卡诺图法尤其有利于含有无关项逻辑函数的变换，并能提高数字电路的教学效果和设计效率。
本文给出极小子集问题的逻辑代数解法，即通过求逻辑函数的极小析取范式或极小合取范式来获得极小子集。
在穷举搜索真值表中最小项组基础上，通过检查和合并而实现逻辑函数的自动化简。
给出了用卡诺图法化简逻辑函数的基本原则，并用事例诠释了基本原则。
基于真值表和卡诺图的等价*，本文提出一种基于真值表搜索的逻辑函数自动化简方法。
给出了新的一般有限域上多值逻辑函数的线*谱定义，并对两类谱的转换公式做了进一步简化。
提出了基于粗糙集理论对逻辑函数进行知识表达的方法，给出了运用粗糙集进行组合逻辑化简的优化算法。
一百在逻辑验*和综合中【】，布尔匹配利用有序二叉判定图OBDD来检验两个给定的逻辑函数是否相等。
本文综合运用概率论、代数学、逻辑函数频谱理论等方面的知识，对多输出函数的有关*质与构造进行了研究。
本文基于多值逻辑函数极小化提出一种正例学习问题，并对这一正例学习问题给出一个启发式学习算法。
