多值逻辑函数Chrestenson谱的性质

类似于布尔函数Walsh谱的性质，本文得到了两个多值逻辑函数的和函数的Chrestenson循环谱等于这两个多值逻辑函数的Chrestenson循环谱的和的充分必要条件，以及两个多值逻辑函数的和函数的Chrestenson线性谱等于这两个多值逻辑函数的Chrestenson线性谱的和的充分条件。     

基于多值逻辑的模糊逻辑函数分析与综合

本文首先提出了模糊逻辑和多值逻辑的相似性，并从开关信号理论出发建立了多值逻辑阈运算和模糊函数取值区间有限等级的对应关系，进而提出了利用多值逻辑阈运算实现模糊逻辑函数分析与综合的算法，并用该算法对几个模糊逻辑函数实例进行了分析与综合，实例操作表明，该算法具有操作简单，规范，方便快捷的特点，是分析和综合模糊逻辑函数的有效方法。     

多值T门电路化简的快速搜索法

本文对用T门实现的多值逻辑电路的化简提出了一种快速搜索法。对于有n个变量的函数,为求得最佳控制顺序,用传统的方法需作n!次搜索,而用本文提出的观点及设计的模板,通过一次操作过程,就可得到最佳或较佳控制顺序。最后还讨论了混合控制方式,并提出了相应的模板。     

多值逻辑函数与其变元的几种无关性的谱分析

多值逻辑函数与它们的变元之间有许多种特殊关系,单从它们的表达式是较难判断的。本文给出了多值逻辑函数与其变元无关和统计无关的一些充分必要条件;给出了多值逻辑函数与其某些变元代数无关(也称为退化)的一些条件和最大程度地退化一个函数的方法;指出了这些结果在实际中的应用。所有这些结果都是Chrestenson谱方法来研究的。     

基于四变量的多变量卡诺图化简新法

以四变量逻辑函数卡诺图化简方法为基础,提出了一种新型有效的多变量逻辑函数卡诺图化简方法,该方法共分为6个化简步骤,在局部小卡诺圈和整体大卡诺圈的化简过程中应用了四变量逻辑函数卡诺图化简方法,因此该方法科学有效,为多变量逻辑函数的化简提供了方式方法,也进一步丰富了布尔代数.     

基于模代数的真值向量计算及其在多值逻辑综合中的应用

本文提出了由函数的真值向量计算Ｒｅｅｄ－Ｍｕｌｌｅｒ展式的简捷方法，由此可判定函数能否线性分解或部分线性分解。用典型例子演示了其在多值逻辑综合中的应用，结果表明该方法行之有效。     

关于多值逻辑函数的仿射逼近

该文给出了利用函数ｆ的谱来计算新函数αｆ＋ｂ的谱计算公式，讨论了多值逻辑函数的仿射逼近问题。     

基于模运算模为合数的多值逻辑函数的展开

本文分析了模为素数的多值逻辑函数的展开，提出模相关的概念，然后提出了任上值逻辑函数的展开。     

卡诺图的区域定位及非常规应用分析

基于数字逻辑函数中最小项相邻性原则，将卡诺图进行区域划分定位，从而使得逻辑函数的卡诺图的正确填入更直观简便。而后介绍分析卡诺图在奇异逻辑函数、复合逻辑函数、输入无反变量逻辑电路化简时的几个非常规的应用，得到相应逻辑函数卡诺图化简的简便方法。     

如何利用卡诺图快速准确地化简逻辑函数

如何利用卡诺图快速准确地化简逻辑函数张兰群（南京航运学校电子教研组，南京，２１００１１）众所周知，化简逻辑函数可以利用逻辑代数的公式和定理。但是，对于一个较复杂的逻辑函数，有时不易看出该用什么样的逻辑代数的公式和定理，即使化简出来，也要费九牛二虎之力...     

多变量卡诺图逻辑相邻的确定

卡诺图化简仅适用于四个及四个变量以下的逻辑函数的化简。提出了多变量卡诺图化简的两种方法：对称法和卡诺图变换法。解决了多变量卡诺图判断逻辑相邻问题，完善了数字电子技术中卡诺图化简的相关理论。     

多值T门网络综合

本文采用子函数控制T门并优先选择第一级控制函数的方法．提出了一种用T门实现多值逻辑电路的算法，设计实例表明本文提出的算法较传统算法为优。     

一种在二值计算机上实现多值逻辑运算的方法

分析了在二值计算机上实现多值逻辑运算与多值逻辑表示方法的关系，在此基础上，给出一种特殊多值逻辑值的二进制编码，并提出一种在二值计算机上建立起完备的多值逻辑运算集的方法，从而实现了在二值计算机上有效地解决实际多值逻辑问题。     

卡诺图法化简多变量逻辑函数的探讨

一般教材中都认为多变量的逻辑函数用卡诺图法化简比较麻烦,所以不采用该方法,而一些教材和资料所介绍的循环码的书写方法都比较麻烦,很容易出错。实际上,有时用卡诺图法化简还是比较方便的。文中提出了书写循环码的一种简单、快速、不容易出错的方法,指出了用卡诺图法化简多变量逻辑函数与少变量逻辑函数之间的差异,总结了多变量卡诺图最小项的合并规则,并用该方法对多变量逻辑函数进行了化简分析。     

逻辑函数增减项等效及其在化简中的应用

在逻辑代数中,逻辑减与逻辑加、逻辑乘与逻辑除并不是一对逆过程,因而不能相互抵消。文章通过理论分析和推导,设计出分别基于最小项和最大项的增项函数和减项函数构建方法,使得逻辑函数同时增加增项函数和减项函数后与原函数等效,从而实现增项函数与减项函数的相互抵消,并具体介绍了该方法在最小项卡诺图化简、最大项卡诺图化简和单轨输入化简中的应用。     

基于模代数的真值向量计算及其在多值逻辑综合中的应用

本文提出了由函数的真值向量计算Reed-Muller展式的简捷方法,由此可判定函数能否线性分解或部分线性分解。用典型例子演示了其在多值逻辑综合中的应用,结果表明该方法行之有效。     

关于多值逻辑函数的仿射逼近

该文给出了利用函数f的谱来计算新函数afb的谱的计算公式,讨论了多值逻辑函数的仿射逼近问题.     

多值逻辑函数组构成置换的一个充要条件

本文给出了一组多值逻辑函数构成置换的一个充要条件。     

一个基于问题分解的布尔函数极小化方法

本文提出一种基于复杂问题分解的布尔函数极小化方法SWT_3。SWT_3主要由三个步骤组成:首先,用概念聚类系统LEOBS将所给布尔函数分解成一些子表达式,然后,用示例学习布尔函数极小化系统SWT将各子表达式化简;最后,将各化简的子表达式组合起来并用集合复盖算法SETCV进行全局简化。应用的一些结果表明,这种方法适合于具有20个以上输入变元的复杂布尔函数化简。     

截断斜坡函数多值逻辑神经元

基于截断斜坡函数实现方便和多值逻辑变量信息含量高的特点,提出了一种多值逻辑神经元,并给出了相应的训练方法和电路实现方案.该神经元可应用于模式识别、降低神经元网络中的神经元数量和提高训练速度.