问有多层逻辑最小化算法吗？

EN

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

维基百科简要地提到了多级表示，并给出了一个示例，但没有解释如何实现它，我也找不到其他地方。

编辑:为了澄清，它需要在具有多个输出的系统上工作，合并部分输出的布尔表达式，以最小化所需逻辑门的数量。

Wikipedia给出了以下示例：

F1 = AB + AC + AD

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

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

P = B + C

F1 = AP + AD

F2 = A`P + A`E

这通过重用B+C来减少所需的逻辑门数。

我正在寻找一种算法来实现这一点与任何数量的输入和输出，并产生一个功能等效的多级表示与尽可能少的逻辑门。如果我的任何术语被取消了，请表示歉意。