判断论证有效性的一个算法

给出了一个基于真值表原理进行逻辑论证的有效性判断的简化算法，此算法可以减少手工列真值表判断的计算量，也可由计算机直接实现。     

命题公式真值表的生成与公式类型的机械判定

在文[1]的基础上,给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公式是重言式、矛盾式或可满足式的机械判定.     

基于Ring-Sum-Expansion范式的Reed-Muller展开式算法

为了改善生成Reed-Muller展开式的灵活性,提出了基于RSE范式的Reed-Muller展开式算法.根据将析取主范式转化为Ring-Sum-Expansion范式的过程,先使用真值表输入项构造预处理表,再从真值表中抽取使输出项为真的二进制码,通过预处理表直接解出每一个输出项的Reed-Muller展开式.对算法进行复杂度分析比较表明,与通常所用的GRM递归算法和GRM矩阵相乘Reed-Muller展开式算法相比,该算法在生成展开式时具有更好的灵活性,可以单独生成指定输出项的Reed-Muller展开式,不同于常用算法必须要一次生成全部输出项的Reed-Muller展开式.     

更改条件/判定覆盖最小真值表生成算法及其应用

研究了从一个布尔表达式生成最小真值表的算法,阐述了在覆盖测试工具中利用此算法辅助设计测试用例的应用问题,以此提高代码覆盖率．     

基于粗集理论的逻辑函数简化方法

针对数字电路中逻辑函数真值表的特殊形式，利用粗集理论把它处理为一种决策表，用决策表的最小决策算法对其进行化简，然后从真值表中直接归纳出最简的逻辑表达式，此方法简单、快速、特别适用于数字电路中从已知真值表求出相应的逻辑表达式及其对应的逻辑电路，为粗集理论在数字电路中的应用提供有力工具。     

基于真值表演算的四量子电路综合方法

为了能以较小的代价高效地自动构造量子可逆逻辑电路,提出了一种新颖的四量子可逆逻辑综合方法.该方法首先将一个四量子电路的函数表示成真值表的形式;然后利用传统的递归思想,通过对换演算,将四量子电路映射函数的真值表分解成2块相互独立的三量子电路映射函数的真值表;再查找相应的最优三量子电路,直接生成相关电路;最后将对换运算的电路并入该电路,经过局部优化即可生成最终电路.分析结果表明,用该方法综合四量子电路能大幅减少TOF门的数量,平均需要15.74个TOF门,最多只需24个TOF门.同时该算法避免了穷举法所需的时空复杂度太大的问题,便于经典计算机实现.     

命题逻辑中主范式的求法

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

关于范式求法解析

离散数学中,主合取范式的目的在于讨论公式的主合取范式.该文中对主合取范式求解方法进一步推广,共给出4种求解方法.真值表法、推演法、用真值表法求的主合取范式、用推演法求的主析取范式等4种方法.     

一种使用VHDL程序的硬件外演化模型

针对硬件演化中内演化过分依赖专业硬件平台的问题,提出了一种基于VHDL程序的硬件外演化模型VHDLEM。根据VHDL程序语句的不同,VHDLEM分为条件行为模型CAM和遗传程序模型GPM。CAM模型使用条件判断语句模式对电路真值表进行编码演化,得到的个体转换为条件判断形式的VHDL语句,对于输入较少的电路,CAM的演化速度快;GPM模型根据VHDL的逻辑运算语句,使用遗传程序设计的方法,演化出对应真值表的电路逻辑表达式,转换为对应的VHDL程序,对于输入较多的电路,GPM模型得到的VHDL程序较CAM更加简洁,可读性更强。     

用C程序求解命题公式中的若干问题

本文利用C语言程序实现了对离散数学的数理逻辑中任意命题公式根据其真值表判断其类型、求其主析取范式和主合取范式。在计算机专业的教学中可以培养学生的理论和计算机操作相结合的学习能力。     

真值表方法的用途及相关规则

真值表方法是命题逻辑中的一种重要方法。在命题逻辑中运用真值表方法,可以在有限的步骤内直观地显示任意一个真值形式的真值情况,判定任意一个真值形式的一些重要性质,因此,真值表方法是一种有力的逻辑工具。学习和掌握真值表方法,特别是掌握用真值表方法进行相关操作的规则,对逻辑学学习者和逻辑学研究工作者来说,是一项必须掌握的逻辑技...     

量子力学中的守恒量

文章论述了量子力学中的守恒量与对称性的关系,具体讨论了空间平移不变性与动量守恒、空间转动不变性与角动量守恒、时间平移不变性与能量守恒的关系.     

命题逻辑中主范式的求法

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

基于真值表变换的可逆逻辑综合算法

为实现将给定的二元可逆函数快速综合为相应电路,并保持其结果的最优或较优,提出一种基于真值表变换的快速综合算法.可逆函数与置换同构,任意置换均可表示为若干对换的乘积,通过将可逆函数转化为一系列对换的乘积,从对换的乘积中综合电路.对于3bit逻辑电路只有28种对换,事先将28种对换的最优电路存入库中生成3bit电路综合基,通过在库中查找快速生成可逆电路.根据逻辑门可交换规则引入优化方法,完成快速综合算法.结果表明,该方法不但可以提高可逆逻辑综合的效率,而且结构简单,易于实现,可以O(4n)的时间效率快速综合任意3bit可逆逻辑电路,实现综合结果达到或接近最优.     

部分真值表在环形分配器设计中的应用

目前步进电机以五相居多，硬件环形分配器用卡罗图来进行设计，则显得复杂冗赘，如果从步进电机运行的规律中找出约束条件，建立部分真值表，便可以直接写出控制逻辑函数，这对于设计相数、拍数较多的步进电机的环形分配器极为方便，这种设计思路在进行数字电路工程设计中也是可以值得借鉴的。     

普遍有效性的追求和拒斥--现代西方认识论和后现代主义认识论比较研究

由于坚持真理的本质的特征是普遍有效性，现代西方认识论把对真理的“普遍有效性”的追求看成了认识的根本任务，从而引发了后现代主义对其全面的拒斥和反叛。因此，从马克思主义实践的观点出发，对现代西方认识论和后现代主义认识论进行比较研究，重建真理的“普遍有效性”维度就显得十分重要。     

计数器自启动反馈逻辑电路的圆图化简

在计数器中，当电路的状态没有被全部利用，就会有多余状态，即异常时序。为使计数器进入正常时序，利用正常时序和异常时序组成的反馈函数真值表，根据转换的要求，用逻辑函数的圆图法进行化简，本方法与卡诺图化简相比，具有包围圈少、直观、简明等优点。     

多值逻辑函数的分解及T门实现

本文首先讨论了多值逻辑函数的分解方法,这种分解方法可以利用真值表的分解较方便地实现。然后给出了利用 T 门实现多值逻辑函数的一种方法。应用这种方法,分别研究了完全指定的函数和不完全指定的函数的分解及 T 门实现。