逻辑函数在布尔减一异或布尔除一符合-维普.pdfVIP

维普资讯 浙 江 大 学 学 报 (理学版) JournalofZhejiangUnivers．ty(ScienceEdition) 第 31卷第 4期 2004年 7月 http：／／www．journals．zju．edu．cn／sci 逻辑函数在布尔减一异或、布尔除一符合 代数系统中的规范展开式 肖林荣 ，陈偕雄 ，厉晓华 (1．浙江大学 信息与电子工程系，浙江 杭州 310028；2．嘉兴学院 电气工程系，浙江 嘉兴 314001) 摘 要：证明了布尔减、异或运算以及布尔除、符合运算的．完备性，并从与一异或及或一符合代数系统中的RM、CRM 展开式出发，分别推导了任意逻辑函数在布尔减一异或及布尔除一符合代数系统 中的规范展开式．举例说明了与一或一 非代数系统中规范展开式与布尔减一异或、布尔除一符合代数系统中的规范展开式之问的转换． 关 键 词：布 尔减 ；布 尔除；布尔减一异或代数 系统；布 尔除一符合代数 系统 ；规 范展开式 中图分类号 ：TP331 文献标识码 ：A 文章编号：10O8—9497(2004)04--397一O3 XIAOLin～rong 。。‘．CHEN Xie—xiong．LIXiao—hua (1．DepartmentofInformationandElectronicEngineering， ZhejiangUniversity，Hangzhou310028，China：2．DepartmentofElectricalEngineering，JiaxingCollege·Jiax— ing 314001，China) StandardexpansionsofalogicfunctioninBooleanSubtraction—Xor，Divisi0n—C0incidencealgebraicsystem．Journal ofZhejiangUniversity(ScienceEdition)，2004，31(4)：397～399 Abstract：InthispaperitisprovedthatBooleanSubtraction—Xor，Division—Coincidenceoperationsmakeupcom- pletesets．Thestandardexpansionsofanarbitrarylogicfunctioninthesecompletesetsfrom theRM ·CRM arede— duced，andtwoexamplesareproposedtOdiscusstherelationbetweentheexpansionsinBooleanSubtraction—Xor， Division—CoincidencealgebraicsystemsandtheexpansionsinAND—OR—NOT algebraicsystem． Keywords：BooleanSubtraction；BooleanDivision；BooleanSubtraction—Xoralgebraicsystem ；Bo oleanDivision— Coincidencealgebraicsystem；standardexpansion 布尔代数中有各种运算完备集如与一或一非、与 ① b2n-1 …．2-2．2-1． (3) 一 异或、或 一符合等．对应地逻辑函数在各 自完备集 文献[6]证明了或一符合运算的完备性，并给出了逻 中的规范展开、化简、电路实现等内容构成了与一或 辑函数的规范展开式 (CRM) 一 非、与一异或、或 一符合等各种代数系统．任意 变 f(x