大变量逻辑函数求补递归实现.PDF

微 机 发 展 年第 期 %- !! $ 文章编号： （ ） %$#),$%!!$#%-# 大变量逻辑函数求补的递归实现 !#$%’()*#$+’,-,./,0 20-+32,%’+50.,%6,’#7$-#+’,- 1 4 4 8’+59’ :$0;%,.- $+=-?$+$+@=%’=;2 4 1 1 刘维富（南通工学院信息工程系，江苏南通 ） !!+, （ ， ， ， ） ./0 123456729:;5/5;=?93;@: B?9; /C9:;5D2EF:B?9; GH!!+,IF3? 8 A A A 摘 要：逻辑函数求补是大变量逻辑优化的算法基础。采用 如果我们正确选择 作为分裂变量，则有可能 ’ 二叉树结构，用I语言实现了大变量逻辑函数求补递归算法。 ! 的项数远小于 的项数。求补过程形成了一棵二 ! ! 详述了求补二叉树的结构和形成过程，以及在求补二叉树上 叉树，在二叉树的结点结构中必须设定一个域存储! 补集的收集方法。 ! ! 或 。若采用数组存储 或 ，设它的尺寸为 ，树 ! ! ! ) 关键词：补集；二叉树；递归 的结点数为 ，则总的空间消耗为 ，在最坏情 * ) +* ： 3;+%=#+72CE=3J2?E6 ;529F;KC9;=2E6=C3L2M 2O2E6929F2 8 N 况下，节点数 %，总的空间消耗是 %，这将是 * ! ) ! + E;M229?M;=39F5;=M;3E56E93;3EM6K3 K?9?C9=6E96=2 8 A A A 一个惊人的数字。为了避免发生这种情况，我们用链表 ， ;59F2;K2;5J3?= 9=22 9F2 =;E2K6=2;5C?3 E;M229 N 8