Сопоставить булеву функцию с ячейками

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

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

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

Булево выражение:

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

F2 = A 'B' C 'D' + A 'B' C 'D + ABC' + A 'BCD + B' CD '+ AB' 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 '

Источник

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';

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

Источник
Другие вопросы по тегам