将布尔函数映射到单元格

Question

我需要将已知的布尔表达式映射到AND，OR，NOT门最佳（或几乎最佳地：D）， 即做表达式的细胞库结合（又称技术映射）。

该表达式有4个输入变量（A，B，C，D），并产生4个输出函数F1，F2，F3，F4。

是否有一个可以执行任务的简单工具？

布尔表达式：

F1 = A'B C D'+ A'B'C'D'+ A'B C'D'+ A B'C + A'B C D + A B'C'D + A'B'C D

F2 = A'B'C'D'+ A'B'C'D + A B C'+ A'B C D + B'C D'+ A B'C'D

F3 = A'B C D'+ A B D + B'C D'+ A B'C'D + A'B'C D + A B'D'

F4 = A B C'D + A'B C'D'+ A'B'C'D + A C D'+ A'B C D + A'B'C D + A B'D'

Answer 1

将Logic Friday 1与以下输入结合使用：

Entered:
F1 = A' B C D' + A' B' C' D' + A' B C' D' + A B' C + A' B C D + A B' C' D + A' B' C D;
F2 = A' B' C' D' + A' B' C' D + A B C' + A' B C D + B' C D' + A B' C' D;
F3 = A' B C D' + A B D + B' C D' + A B' C' D + A' B' C D + A B' D';
F4 = A B C' D + A' B C' D' + A' B' C' D + A C D' + A' B C D + A' B' C D + A B' D';

产生了“精确最小化”操作：

Minimized:
F1 = A B' C  + A B' D + A' C' D' + A' B C  + A' C D;
F2 = A B C'  + B' C D' + A' B C D + A' B' C'  + B' C' D;
F3 = A' B' C  + A B D + A' C D' + A B' C'  + A B' D';
F4 = A' B' D + A' C D + A B' D' + A C D' + A B C' D + A' B C' D';

下一步操作是“映射到门”（从列表中选择的门）：