基于bj图计算逻辑函数布尔差分的新方法.pdfVIP

第31卷第1{；l】 浙江大学学报(理学版) Journalof Edition) 2(104年1月 ZhejiangUniversity(Science 基于b，图计算逻辑函数布尔差分的新方法 吴桂初1，刘观生2，陈偕雄2 (1温州师范学院物理与电子信息科学系，浙江温州325027；2浙江大学信息与电子工程学系，浙江杭州310028) 摘要：分析了逻辑函数在部分变量取反时的b，图和降维以图，在此基础上提出了用b，图和降堆b，圈计算逻辑函 数的一阶书尔差分和二阶布尔差分的图形方法．实例表明，该圉彤方法有直观、简单等转点它能磐出逻辑函数布 尔堇分的最简与／异或式 关键词：b，圈；降堆b，图；布尔差分 9497(2004)01—043—05 中围分类号：TN431．2；TN402文献标识码：^ 文章编号：1008 WU Gui—chul．LIUGuan—shen92，CHENXie—xion92(1．DepartmentofPhysics Normal andElectronic [1renzhou 325027，China；2．DepartmentofInformation Engine“ing， College，Wenzhou 310028，China) ZhqfangUniversity，Hangzhou NewmethodofcalculationBooleandifferencebasedon of Edition)， bjmap．JournalZhejiangUniversity(Science 2004，31(】)：42～47 the ofa functionwith variables Abstract：This andreduced—dimension6Jmap paperanalysesbemap logic parlial onwhich，a methodof firstorderandsecond—orderBooleandifferenceofa negated．based graphic calculating logic is thatthis hasthe function andreduced—dimension method byusingbJmap bJmapproposed．Theexamplesprove featuresofintuitionand whichthe AND／XOR ofBooleandifferencecanbeob simplicity，bysimplest expression talned． difference Keywords：bJmap；reduced—dimensionbJmap；Boolean b，图是逻辑函数在二值模代数系统(即与、异或 尔差分的关键在于找到f(x。…_『…z。)在b，图中的 代数系统)中的图形表示，其地位相当于在与、或、非 图形表示．事实上，函数f(x1．．·；，…z。)即为函数， 代数系统中的卡诺图．自从吴训威等[13提出b，图以 在以z。，…，面，…，z。为变量的固定极