Карта boolean function to cells

Question

Мне нужно сопоставить известное булево выражение с AND, OR, NOT gates оптимально (или почти оптимально: D), т. Е. Привязка ячейки-выражения выражения (так называемое технологическое сопоставление) ,

Выражение имеет 4 входных переменных (A, B, C, D) и производит 4 функции вывода F1, F2, F3, F4.

Есть ли простой инструмент, который может выполнять задачу?

Логическое выражение:

F1 = А 'BCD' + A 'B' C 'D' + A 'BC' D '+ АВ' С + А 'BCD + АВ' C», D + CD A 'B'

'В' F2 = A C 'D' + A 'B' 'D + ABC' C + 'BCD + B' на компакт-диск '+ АВ' C»D

F3 = A 'BCD' + ABD + B 'CD' + AB 'C' D + A 'B' CD + AB 'D'

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

Следующая операция является "карта для ворот" (ворота, выбранные из списка):