Infimum Properties Differ in the Weak Truth-table Degrees and the Turing Degrees

Abstract We prove that there are non-recursive r.e. sets A and C with A < _T C such that for every set . Both authors are supported by “863” and the National Science Foundation of China     

真值表查询式光学符号替换

本文提出了一种新的符号替换光学处理方法.采用互补编码和地点寻址的真值表查询,构造了一种可进行返回运算的全加数字处理器.利用由液晶光阀构成的行逻辑器件对这一符号替换系统进行了实验验证并给出了实验结果.     

混合控制变量序的三值T门网络化简方法

为获得T门网络的最佳控制变量顺序，对于n个变量的函数，用传统的方法需作n！次搜索，如果考虑混合控制方式，则搜索的次数更多。为了减少搜索次数，并尽可能得到更为简单的T门网络，本文通过对真值表分割法的分析，并结合T门网络的特点，提出了一种用T门实现三值逻辑函数的真值表分割法的改进算法。该算法可实现混合控制变量序的T门网络的最简或接近最简实现，且易于编程和上机操作。最后还对几种T门网络化简方法的优劣进行了比较。     

分析由触发器构成的同步计数器的一种新方法

为了简化由触发器构成的同步计数器的分析过程,提出一种简单、有效的方法．采用该方法,由计数器的逻辑电路图获得状态转移方程后,将其化成标准与或表达式,通过推导得出标准与或表达式中逻辑函数取值的规律,按照该规律,状态转移方程中次态值可直接由标准与或表达式得到,而不需要进行任何逻辑运算．通过对1个3变量计数器的分析表明,该方法省去了烦琐的计算,使得次态值的求取和真值表的创建更加快捷、方便．     

数学小幽默

对于趣味推理题，因其题设判断较多，疏理相关信息难度大，常常顾此失彼，能否用一种简捷快速的方式予以解答呢？笔者经过研究，发现借助“真值表”的方式处理这类问题，简捷明快，一目了然。具体操作方法为：将题设中可能的判断用“1”表示，不可能的判断用“0”表示，将各种判断通过表格的方式一一列出，然后通过真值表进行推理易得出正确结论。现举例如下：     

含无关项布尔函数的对称变量检测算法

为简化布尔函数中12类对称变量的检测过程,提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明,与现有方法相比,算法在适用的布尔函数变量数、检测类型、检测含无关项布尔函数和检测过程的复杂度方面表现较优.