既知のブール式をAND、OR、NOTゲートに最適に（またはほぼ最適に：D）マッピングする必要があります。つまり、式のセルライブラリバインディング（別名テクノロジーマッピング）を行います。
この式には 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'