Импликанта и имплицента (Nbhlntgumg n nbhlneyumg)
Импликанта булевой функции — любая функция такая, что если , то .[1]
Имплицента булевой функции — любая функция такая, что если , то .[2]
Следующие условия эквивалентны:
- — импликанта ;
- множество единиц является подмножеством множества единиц ();[3]
- ;
- — имплицента ;[3]
- множество нулей является подмножеством множества нулей ();
- ;[4]
- .[5]
Свойства
[править | править код]Дизъюнкция импликант даст импликанту функции[6]; конъюнкция имплицент даст имплиценту функции.
Пусть набор — единица функции (то есть ). Будем говорить, что импликанта накрывает единицу , если . Система импликант функции называется полной, если для каждой единицы функции в этой системе есть импликанта, которая её накрывает. Дизъюнкция полной системы импликант даст изначальную функцию.[6] Дизъюнкция системы импликант даёт всю функцию тогда и только тогда, когда она полна. Полная система импликант называется приведённой, если любая её собственная подсистема неполна.
Пусть набор — нуль функции (то есть ). Будем говорить, что имплицента накрывает нуль , если . Система имплицент функции называется полной, если для каждого нуля функции в этой системе есть имплицента, которая его накрывает. Конъюнкция полной системы имплицент даст изначальную функцию. Конъюнкция системы имплицент даёт всю функцию тогда и только тогда, когда она полна. Полная система имплицент называется приведённой, если любая её собственная подсистема неполна.[7]
Элементарная импликанта и имплицента
[править | править код]Импликанта называется элементарной импликантой, если она может быть выражена в виде элементарной конъюнкции. Имплицента называется элементарной имплицентой, если она может быть выражена в виде элементарной дизъюнкции. Элементарные импликанты и имплиценты часто отождествляют с элементарными конъюнкциями/дизъюнкциями, которыми они задаются. Например, под дизъюнкцией элементарных импликант обычно имеют в виду именно дизъюнкцию элементарных конъюнкций, которые задают эти импликанты. В этом смысле дизъюнкции элементарных импликант являются дизъюнктивными нормальными формами. Это отождествление также имеет особый смысл, когда говорят про поглощение одной элементарной импликантой/имплицентой другой. Дело в том, что терминология «элементарная конъюнкция/дизъюнкция поглощается другой элементарной конъюнкцией/дизъюнкцией» определяется именно для элементарных конъюнкций/дизъюнкций и не может быть однозначно обобщена для произольной булевой функции. Так выходит потому, что поглощение для конъюнкций и дизъюнкций определено по-разному. Элементарная конъюнкция поглощает другую тогда и только тогда, когда она является её имплицентой; но элементарная дизъюнкция поглощает другую тогда и только тогда, когда она является её импликантой. Однако, когда мы говорим об элементарных импликантах/имплицентах терминология поглощения всё же имеет смысл, поскольку элементарные импликанты/имплиценты можно отождествляють с элементарными конъюнкциями/дизъюнкциями, которые их задают, и иметь в виду поглощение для них.[8]
Простая импликанта и имплицента
[править | править код]Элементарная импликанта функции называется простой, если не существует элементарной импликанты такой, что она поглощает элементарную конъюнкцию и не совпадает с .[1] При геометрической интерпретации функции множеством единиц простой импликанте соответствует максимальная грань. Более формально, возьмём множество всех граней булева куба, входящих в . Тогда простым импликантам функции соответствуют максимальные по включению грани из этого множества.[9]
Элементарная имплицента функции называется простой, если не существует элементарной дизъюнкции такой, что она поглощает элементарную дизъюнкцию и не совпадает с .[7] При геометрической интерпретации функции множеством нулей простой имплиценте соответствует максимальная грань. Более формально, возьмём множество всех граней булева куба, входящих в . Тогда простым имплицентам функции соответствуют максимальные по включению грани из этого множества.
Система всех простых импликант (имплицент) является полной, поэтому её дизъюнкция (конъюнкция) даст всю функцию. Если при этом представить импликанты (имплиценты) как элементарные конъюнкции (дизъюнкции), то получится ДНФ (КНФ) функции, которая называется сокращённая дизъюнктивная (конъюнктивная) нормальная форма.[10][7] Дизъюнкция (конъюнкция) приведённой системы импликант (имплицент) называется приведённой или тупиковой ДНФ (КНФ).[11][7]
Простая импликанта (имплицента) называется ядровой, если существует такая единица (нуль) функции, которая(-ый) не накрывается никакой другой простой импликантой (имплицентой).[12] В геометрической терминологии аналогично определяется понятие ядровой грани. Подгрань множества точек булева куба называется ядровой, если она максимальна по включению и существует точка из этого множества, которая не входит ни в какую другую максимальную подгрань.[13] Все ядровые импликанты (имплиценты) входят в любую полную систему простых импликант (имплицент).
Примечания
[править | править код]- ↑ 1 2 Глушков, 1962, с. 265.
- ↑ Глушков, 1962, с. 308.
- ↑ 1 2 Голощапов, Ролдугин, 2013, с. 45.
- ↑ Ролдугин, Тарасов, 2002, с. 24.
- ↑ Импликанты функции и сокращенная ДНФ . https://ido.tsu.ru/. Дата обращения: 17 мая 2024.
- ↑ 1 2 Глушков, 1962, с. 266.
- ↑ 1 2 3 4 Глушков, 1962, с. 309.
- ↑ Глушков, 1962, с. 311-312.
- ↑ Яблонский, 1986, с. 312.
- ↑ Глушков, 1962, с. 267.
- ↑ Глушков, 1962, с. 268.
- ↑ Глушков, 1962, с. 272.
- ↑ Яблонский, 1986, с. 325.
Литература
[править | править код]- Глушков В. М. Синтез цифровых автоматов . — М.: Физматгиз, 1962. — 476 с. — (Математическая логика и основания математики).
- Яблонский С. В. Введение в дискретную математику. — М.: Наука, 1986. — 384 с.
- Голощапов В. Н., Ролдугин П. В. О числе биюнктивных функций, инвариантных относительно данной подстановки // Дискретная математика : журнал. — 2013. — Т. 25, вып. 1. — С. 45-62. — doi:10.4213/dm1220.
- Ролдугин П. В., Тарасов А. В. Оценка числа переменных булевых функций небольшого веса, не содержащих имплицент меньше длины // Дискретная математика : журнал. — 2002. — Т. 14, вып. 3. — С. 23-41. — doi:10.4213/dm251.