由与或式逻辑函数直接填写卡诺图化简逻辑函数算法分析

本文阐述了一种依据卡诺图的特点进行快速填写卡诺图,然后利用卡诺图进行逻辑函数化简的方法.     

化简逻辑函数的新方法

代数法化简逻辑函数的难点在于没有固定的方法和步骤，因而也无函数式是否化简到了最简的判别方法。为解决这些难题，提出了“镜像消元法”，给出了化简的具体步骤和方法。对于6个以上变量的逻辑函数的化简，镜像消元法优于卡诺图法。     

逻辑函数的卡诺图化简

本文针对卡诺图逻辑函数中不易掌握极易出错之处,提出了和常规化简方法不同的化简方法。     

逻辑函数卡诺图化简应注意的问题

本文指出逻辑函数卡诺图化简中应注意的几个问题，通过实例讨论了卡诺图化简逻辑函数的基本规律。     

逻辑函数的三维K图化简

根据Ｋ图化简逻辑函数的方法给出三维Ｋ图及化简二值、三值逻辑函数的方法，使逻辑函数相邻项的邻接关系得以增强，变量数得以增加。     

无反变量输入的逻辑函数的化简

无反变量输入的逻辑函数的化简中,若用非门将输入变量取反来提供反变量往往不能使逻辑函数成为最简形式.可用代数法、并项法和卡诺图法对其进行化简.     

卡诺图在逻辑函数化简与运算中的应用

卡诺图是逻辑函数的一种表示方式，对于逻辑变量个数不多于5个的逻辑函数的化简和运算，采用卡诺图法具有直观简便的优点，故得到广泛的应用。本文介绍一种卡诺图的快速填充方法，以及卡诺图在函数化简和运算中的应用。     

卡诺图与逻辑函数的化简

在数字电子技术中,常常需要对得到的逻辑函数式进行化简。因为逻辑函数式越简单,它所表示的逻辑关系越明显,同时也有利于用最少的电子器件来实现这个逻辑函数。 逻辑函数式化简常采用两种方法,即逻辑代数公式化简法和卡诺图化简法。前者是利用逻辑代数的基本公式消去多余的乘积项     

具有约束的逻辑函数卡诺图化简的误区研究

通过具体的例子,说明在利用卡诺图对具有约束的逻辑函数进行化简时常出现的几个难以理解的知识点,并深入剖析了这些误区产生的根本原因,同时提出了怎样才能做到采用圈1与圈0两种方法化简时结果的一次性统一．     

逻辑函数的卡诺图化简方法

通过对四变量卡诺图同卡诺图的对称性质,总结出多变量逻辑函数卡诺的地称规律,并给出多变量卡诺图的作图和化简方法。     

AFS模糊逻辑系统及其在模糊信息处理上的应用

为了应用AFS代数和AFS结构处理模糊信息,给出了AFS代数的逻辑非运算“′”,进而使AFS代数成为一个新的逻辑系统AFS模糊逻辑系统·它不是用T模,S模和非算子定义的,而是从问题的原始数据(数据库)用统一的算法建立起来的·它不但与人类思维逻辑相似而且便于计算机把数据库中的大量信息转化为人们能够理解和处理的模糊集     

格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．     

图格的定义与性质研究

本文定义了一种偏序关系将图与格的有关知识联系起来了,给出了图格的定义,并进一步分析和证明了图格的部分性质.     

基于预测变量图结构的高维逻辑回归模型

针对高维数据集,提出一种利用预测变量之间的图结构信息来改进稀疏逻辑回归模型的方法。该方法通过利用高维图结构数据或者重叠组结构来进行逻辑回归建模,即使预测变量的图结构未知,该方法仍适用,当图结构为某些特殊形式时,目前流行的方法,如Adaptive Lasso,(Overlapping) Group Lasso和岭回归都可以看作是该模型方法的特例。数值模拟和实例分析应用表明:该方法能有效地利用预测变量图结构信息,提高模型在估计、预测以及变量选择等方面的表现,并且该模型在有限样本情形下是有效的;该模型方法克服了数据集的维数问题,利用高维数据的图结构提高了稀疏逻辑回归模型的性能,可广泛应用于高通量基因数据集的疾病分类研究中。     

格型模糊谓词逻辑与推理

本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。     

四值非线性格值逻辑中公式的概率真度

王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑上和非均匀概率空间上有一定的可行性.     

离散mKdV Lattice和Hybrid Lattice的双曲函数型精确解

在双曲函数法和试探函数法的基础上．引人两个新的双曲试探函数,构造了离散mKdV lattice和Hybrid Lattice的双曲函数型精确孤波解．该方法也可以用于其他非线性差分微分方程．     

基于正规剩余格的一个逻辑系统及其完备性

在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性.     

实初等对称函数商的Schur—凹性及其应用

利用控制不等式的理论讨论了初等对称函数商Er(x1,x2,＋,xn）／Er-p(x1,x2,…,xn)(1≤p≤r≤n)的Schur－凹性,并建立了几个相关的有趣不等式以及它们的加细。     

对称三值逻辑的实现

本文从对称三值逻辑最小项的性质出发,讨论了对称三值逻辑与二值逻辑的内在联系,从而使对称三值逻辑函数可用PLA技术实现。文中给出了三值优先编码器和三一十编码译码电路作为示例。文中还给出了对称三值CMOS存贮器ROM和RAM的逻辑系统图。