minimize - 将布尔函数映射到单元格

Question

我需要以最佳方式（或几乎最佳方式：D）将已知的布尔表达式映射到 AND、OR、NOT 门，即执行表达式的单元库绑定（又名技术映射）。

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

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

布尔表达式：

F1 = A' BC D' + A' B' C' D' + A' B C' D' + A B' C + A' BCD + A B' C' D + A' B' CD

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

F3 = A' BC D' + ABD + B' C D' + A B' C' D + A' B' CD + A B' D'

F4 = AB C' D + A' B C' D' + A' B' C' D + AC D' + A' BCD + A' B' CD + 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';

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