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

Recursive Execution of Complement Algorithm for Logic Functions with Big Number of Input and Output Variables

逻辑函数求补是大变量逻辑优化的算法基础。采用二叉树结构 ,用C语言实现了大变量逻辑函数求补递归算法。详述了求补二叉树的结构和形成过程 ,以及在求补二叉树上补集的收集方法。

Describe a cup of methods to recursively execute the complement algorithm for logic function including data structure of the node of binary tree, the procedure of spaning complement tree and the method of data collection from the tree.