基于布尔e导数的特殊逻辑函数检测方法.pdfVIP

浙 江 大 学 学 报 (理学版) 第 41卷第4期 JournalofZhejiangUniversity(ScienceEdition) http：／／www．journals．zju．edu．cn／sci VJo1．41No．4 2014年 7月 u1．2014 基于布尔 e导数的特殊逻辑 函数检测方法 赵 美 玲 (绍兴文理学院 电气与信息工程系，浙江 绍兴 312000) 摘 要 ：布尔代数 中的特殊逻辑 函数具有独特 的性质，而布尔e导数是一种新 的特殊运算．为探索简化数字电路 实 现 的方法，在介绍线性 函数 、自双反函数 以及布尔e导数概念的基础上 ，提 出了利用布尔e导数判别线性 函数和 自 双反函数的定理 ，给 出了基 于布 尔 e导数检测线性 函数 、自双反 函数的方法 ，并通过 3个实例 ，展 示 了应 用该方法 检 测线 }生·函数和 自双反 函数的过程．进 一步拓 宽 了布 尔 e导数的应 用领域． 关 键 词 ：布尔e导数 ；特殊逻辑 函数 ；线性 函数 ；自双反函数 中图分类号 ：TP331 文献标志码 ：A 文章编号 ：1008—9497(2014)04—424—03 ZHAOMeiling(DepartmentofElectricandIn!formationEngineering，ShaoxingCollegeofArtsandScience， Shaoxing312000，ZhejiangProvince，China) MethodofdetectingspeciallogicfunctionbasedonBooleane-derivative．JournalofZhejiangUniversity(ScienceEdi— tion)，2O14，41(4)：424—426 Abstract：SpeciallogicfunctionshavetheiruniquecharacteristicsinBooleanalgebra，andBoolean e-derivativeisa novelspecialoperation．Toexplorethemethodtosimplifydigitalcircuitrealization，thedefinitionsoflinearfunc— tion，self—dualfunction，Boolean ederivativeand theirpropertiesareintroduced，and presenting twotheorems． BasedonBooleane—derivativeandthesetheorems，wegiveoutanew methodofdetectingthelinearfunctionand self—dualfunction．Threeexamplesaregiventoshow thedetectingprocessesbyusingthepresentedmethod．This articlebroadenstheapplicationsofBooleane-derivative． KeyWords：Booleane—derivative；speciallogicfunction；linearfunction；self-dualfunction 布尔代数 中存在许多特殊逻辑 函数 ，如线性 函 和 自双反函数的定义及有关性质． 数 、自双反函数等．较普通逻辑函数，特殊逻辑 函数 定义 1 设 f(x ～z)为 变量逻辑 函数 ，则f 具有其独特的性质．利用这些性质，可以简化 电路 ， 关于变量z (1≤i≤ )的一阶布尔e导数的定义为 这对数字