Конституента - Велика Енциклопедія Нафти та Газа, стаття 1
Конституента
Конституента (повна кон'юнкція) - елементарна кон'юнкція, куди по одному разу входить кожна змінна, визначальна стан середовища. [1]
Конституента нуля - це така функція, яка набуває значення нуля лише однієї комбінації значень змінних, а інших комбінацій значень змінних вона дорівнює одиниці. Для однієї змінної є дві конституенти нуля. [2]
Обов'язковими конституентами будуть конституенти, що відповідають тим наборам значень змінних, при переході яких до інших наборів повинен з'явитися імпульсний сигнал на i-тому виході. Крім того, до обов'язкових повинні бути віднесені конституенти, відповідні тактам, укладеним між двома тактами, конституенти яких є обов'язковими, якщо між ними не повинен виникати імпульсний сигнал. [3]
Конституентою нуля називається перемикальна ф-ція п змінних М (хп -, Хп-2, , Хо), що дорівнює нулю тільки на одному наборі значень змінних. [4]
Для конституенту, що має менший номер (N), виписуються всі сусідні та виявляється можливість виключення однієї змінної. [5]
З конституенту 2 виключаються дві змінні - xt і х2, причому х обов'язково, оскільки конституент 3 є обов'язковим, а х2 - умовно, оскільки конституенти 0 та 1 є умовними. [6]
З конституенту 5 змінна Хг виключається обов'язково, а хз умовно, оскільки конституент 3 вже використано. Якщо ж при спрощенні конституенту 5 вважатимемо конституент 3 обов'язковим, то обидві змінні хг і хз виключаються обов'язково, але тоді конституента 2 конституент 3 буде умовним, і обидві змінні х і Хг виключаться умовно. [7]
Якщо будь-який конституент функції ft поглинаєтьсяпростий імплікант підсистеми, в яку входить функція ft, то на перетині відповідних стовпців і рядків ставиться знак X. Після того, коли всі необхідні знаки X проставлені, по імплікантній матриці вибирається система простих імплікант, яка поглинає всі конституенти всіх функцій системи. Таку систему простих імплікантів називають повною. [9]
Викидаємо з цього конституенту ті змінні (байдуже, з запереченнями чи заперечень), які входять у комбінацію змінних, розташовану у тому стовпці ( біля його входу), як і наше число. [10]
Так як обидва конституенти 9 і 10 є умовними, то в другий стовпець рядка конституенту 8 ставиться знак -, що вказує на те, що при спрощенні конституенту 8 виходять варіанти. [11]
Так як проти конституенту 8 стоїть знак, то потрібно знайти ті конституенти, які дають варіанти. Але в даному випадку обидва конституенти, що залишилися, 9 і 10, мають одне і те ж число координат, причому загальних координат вони не мають. [12]
Номери, які відповідають обов'язковим конституентам СДНФ, називаються обов'язковими номерами. Номери, які відповідають забороненим конституентам СДНФ, називаються забороненими номерами, а умовним конституентам СДНФ – умовними номерами. [13]
Іноді їх називають конституентами розкладання одиниці чи просто конституентами одиниці. [14]
При спрощенні цієї функції з конституенту 1 виключаються три змінні (х2, Хз і хц), причому всі вони виключаються обов'язково і при цьому використовуються інші обов'язкові конституенти. [15]