1) calculating nature of logic function
逻辑函数运算性质
2) Boolean calculation
逻辑代数运算
4) logic functions
逻辑函数
1.
Algebraic method of detecting linear variables in logic functions.;
检测逻辑函数中线性变量的代数方法
2.
For multi-input multi-output logic functions of two-level SOP,a program.
对于二级SOP型的多输入多输出逻辑函数,设计了基于积项扩展的多输入多输出集成电路逻辑优化软件,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000,并通过了Benchmark例题的测试和正确性验证。
3.
An approach of design for testability(DFT) for logic functions is presented in the paper, which employs AND gates and XOR gates tree to realize the generalized Reed Muller expression of arbitrary logic functions.
在逻辑函数Reed Muller模式的电路可测性设计方面 ,文章采用AND门阵列和XOR门树结构来设计电路 ,提出了一种设计方案 ,可实现任意逻辑函数的功能 ,而且所得电路具有通用测试集和完全可故障定位的特点。
5) logic function
逻辑函数
1.
Implementation of logic function simplification using ant algorithm;
基于蚁群算法的逻辑函数化简
2.
Discussion of designing logic function method using MSI data selector;
用MSI数据选择器实现逻辑函数的方法讨论
3.
Expression in rough set for logic function and a method of minimization;
逻辑函数的粗糙集表达及最小化方法
6) logical function
逻辑函数
1.
Tabular method of calculating Boolean difference and partial derivative of logical functions;
计算逻辑函数布尔差分及布尔偏导数的表格方法
2.
Based on the theory of the K map simplification of logical function(KSLF),this article releases a ICAI Realization for KSLF.
笔者从CAI、ICAI的现状出发 ,结合《数字电路》课程逻辑函数卡诺图化简理论 ,介绍了逻辑函数卡诺图化简的ICAI实现方法 ,并将这种方法最终产品化 ;该产品支持带任意项化简并提供普通、教学、练习 3种教学方式。
3.
Based on the analyses of manual and Q M tabular simplification methods for the computer logical functions, the multidimension cube representation method for the functions and its simplification technique are presented.
在分析逻辑函数的手工化简方法和计算机辅助 Q- M列表化简方法的基础上 ,给出了在计算机中逻辑函数通常采用的多维体表示方法 ,分析了一种便于用计算机编程实现的代数化简方法——多维体化简方法 ,并给出化简步骤。
补充资料：模运算性质
模运算有下述性质：
（1）若q|(a-b)，则a≡b (mod q) 11 ≡4 (mod 7) 18 ≡ 4(mod 7)
（2）(a mod q)=(b mod q)意味a≡b mod q
（3） 对称性,a≡b mod q等价于b≡a mod q
（4）传递性,若a≡b mod q且b≡c mod q ，则a≡c mod q
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条