有没有多级逻辑最小化的算法？

问：

我需要一种算法，当给定任意数量的布尔表达式时，具有任意数量的变量，可以进行多级逻辑最小化以给出一组布尔函数。

维基百科简要提到了多层次表示并举了一个例子，但没有解释如何做到这一点，我在其他任何地方也找不到它。

编辑：澄清一下，它需要在具有多个输出的系统上工作，合并部分输出的布尔表达式，以最大程度地减少所需的逻辑门的数量。

维基百科给出了以下示例：

F1 = AB + AC + AD

F2 = A`B + A`C + A`E

功能等效的多级表示可以是：

P = B + C

F1 = AP + AD

F2 = A`P + A`E

这减少了重用 B + C 所需的逻辑门数量。

我正在寻找一种算法，可以用任意数量的输入和输出来做到这一点，并以尽可能少的逻辑门数生成功能等效的多级表示。如果我的任何术语被关闭，我们深表歉意。