WikiDer > Импликант

В Логическая логика, период, термин неявный имеет либо общее, либо особое значение. В общем смысле это относится к гипотезе импликации (викисловарь: скрытый). В конкретном использовании срок продукта (т. е. соединение литералов) п является неявный булевой функции F, обозначенный ${ Displaystyle P leq F}$, если P влечет F (т. е. когда п принимает значение 1, поэтому FНапример, импликанты функции

${ displaystyle f (x, y, z, w) = xy + yz + w}$

включить условия ${ displaystyle xy}$, ${ displaystyle xyz}$, ${ displaystyle xyzw}$, ${ displaystyle w}$, а также некоторые другие.

Главный импликант

А главный импликант функции является импликантом (в указанном выше частном смысле), который не может быть охвачен более общим (более сокращенным - то есть с меньшим литералы) неявно. В. В. Куайн определил главный импликант быть импликантом, который минимален, то есть удаление любого литерала из п приводит к неявному для F. Основные основные импликанты (он же основные основные импликанты) являются простыми импликантами, которые покрывают выход функции, который не может покрыть никакая комбинация других простых импликант.^{[нужна цитата]}

Используя приведенный выше пример, легко увидеть, что хотя ${ displaystyle xy}$ (и другие) - главный импликант, ${ displaystyle xyz}$ и ${ displaystyle xyzw}$ не. Из последнего можно удалить несколько литералов, чтобы сделать его основным:

• ${ displaystyle x}$, ${ displaystyle y}$ и ${ displaystyle z}$ можно удалить, давая ${ displaystyle w}$.
• В качестве альтернативы, ${ displaystyle z}$ и ${ displaystyle w}$ можно удалить, давая ${ displaystyle xy}$.
• Ну наконец то, ${ displaystyle x}$ и ${ displaystyle w}$ можно удалить, давая ${ displaystyle yz}$.

Процесс удаления литералов из логического термина называется расширение период, термин. Расширение на один литерал удваивает количество входных комбинаций, для которых этот термин является истинным (в двоичной булевой алгебре). Используя приведенный выше пример функции, мы можем расширить ${ displaystyle xyz}$ к ${ displaystyle xy}$ или чтобы ${ displaystyle yz}$ не меняя обложку ${ displaystyle f}$.^[1]

Сумма всех простых импликант булевой функции называется ее полная сумма, минимальная сумма покрытия, или же Каноническая форма Блейка.

Смотрите также

• Алгоритм Куайна – Маккласки
• Карта Карно
• Метод Петрика

Рекомендации

внешняя ссылка

• Слайды, объясняющие импликанты, основные импликанты и основные импликанты
• Примеры поиска существенных простых импликант с помощью K-отображения