А Б В Г Д Е Є Ж З І Ї Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ю Я
Досконала діз'юнктівная нормальна форма
Досконала діз'юнктівная нормальна форма (СДНФ) є тривіальним поданням булевої функції у вигляді ОДНФ.
Досконалої диз'юнктивній нормальною формою (СДНФ) називається диз'юнкція кінцевого числа констітуєнт одиниці.
Досконалої диз'юнктивній нормальною формою формули алгебри висловлювань (СДНФ) називається ДНФ, в якій: 1) всі складові містять співмножником всі змінні - без заперечення або з запереченням, але не разом.
Щоб отримати досконалу діз'юнктівную нормальну форму, в якій кожен твір має містити кожну з змінних або її доповнення до 1 помножимо обидва члени.
ДНФ називається досконалою диз'юнктивній нормальною формою (С ДНФ), якщо ранг кожного з її членів буде дорівнює т - числу незалежних змінних.
Оскільки у вигляді досконалої диз'юнктивної нормальної форми може бути представлена будь-яка булева функція (теорема 5.4), то з пропозицій 575.8 і 510 випливає справедливість наступного результату.
Щоб виявити члени досконалої диз'юнктивній нормальної форми, кожен з яких містить чотири змінних.
Це уявлення є аналогом досконалої диз'юнктивній нормальної форми. Якщо функцій /реалізується деякої формулою, що містить лише символи функцій з даного класу 91 то говорять, що /виразність через фувлсціі класу ЕД.
Ясно, що вийшла в результаті досконала діз'юнктівная нормальна форма еквівалентна вихідній формулі, оскільки на кожному з описаних вище кроків ми користувалися еквівалентними перетвореннями.
Слід підкреслити, що введення в досконалу діз'юнктівную нормальну форму деяких байдужих констітуєнт може сприяти, як це буде показано в наступному розділі, більш повної мінімізації цієї форми.
Для того щоб зазначена сума творів представляла досконалу діз'юнктівную нормальну форму, необхідно, крім того, щоб 1) вона не містила двох однакових доданків, 2) ні в одному доданку суми множники не повторювалися і 3) ні в одному доданку суми не зустрічалися одночасно, змінна і її доповнення.
Перш ніж спрощувати функцію, записану в досконалої диз'юнктивній нормальній формі, являють кожен член функції цифрою 1 що вписується в квадрат, відповідний розглянутого члену. Потім виробляють угруповання членів шляхом відповідного об'єднання зазначених таким чином квадратів. Правила, яких необхідно дотримуватися, щоб здійснити об'єднання, про яке йде мова, варіюють відповідно до структури діаграми, отже, також згідно з кількістю змінних. Ми розглянемо діаграму для чотирьох змінних фіг.
Будь-яка булева функція має одну і тільки одну досконалу діз'юнктівную нормальну форму, а також одну і тільки одну досконалу кон'юнктівную нормальну форму.
визначимо характеристичне рівняння 5-тригера, представивши (5.6) в досконалої диз'юнктивній нормальній формі (СДНФ) і мінімізувавши останню за допомогою найбільш простого і наочного методу для функцій невеликого числа змінних (6) - методу карт Карно. Якщо функція на деяких наборах має невизначене значення 0 то її доопределяют.
Рт, еквівалентна деякій формулі F (званої досконалої диз'юнктивній Нормальною формою формули Е), що має один з наступних двох видів.
Згідно з теоремою 5.4 вони мають одну і ту ж досконалу діз'юнктівную нормальну форму пор.
Подання (1.3) є узагальнення добре відомого уявлення булевих функцій у вигляді досконалої диз'юнктивної нормальної форми.
У) - Зауважимо, нарешті, що за допомогою ферродіодних дросельних елементів досконала діз'юнктівная нормальна форма реалізується (як і на ферротрансформаторних елементах) за два такту.
Про п р е д е л е н і е 213. досконалої диз'юнктивній нормальною формою (СДНФ) щодо змінних ХГ.
Така диз'юнкція всіх елементарних кон'юнкція, для яких розглянута формула істинна, називається досконалою диз'юнктивній нормальною формою.
Якщо 91 тотожне помилкова, то всі складові будуть вилучені і ми не отримаємо досконалої диз'юнктивній нормальної форми.
Оскільки, однак, zx і z2 залежать від одних і тих же аргументів, досконала діз'юнктівная нормальна форма для z m містить не більше 2т кон'юнкція.
Нехай обидві функції - zx і z2 - задані таблицями або формулами, приведеними до досконалої диз'юнктивній нормальній формі.
Дійсно, як формули, що представляє будь-яку дану булеву функцію /, можна вибрати її досконалу діз'юнктівную нормальну форму.
Скорочена діз'юнктівная нормальна форма є, взагалі кажучи, більш економним способом представлення булевої функції, ніж досконала діз'юнктівная нормальна форма. Однак в більшості випадків вона допускає подальші спрощення за рахунок того, що деякі з простих импликант можуть поглинатися диз'юнкцій інших простих импликант.
За допомогою співвідношень (10) - (30) будь-яка формула булевої алгебри може бути приведена до досконалої диз'юнктивній нормальній формі.
Елемент затримки, який реалізує операцію якщо тільки p (t істинно, то. (. Теж істинно. Можна вважати, що fl (O помилково. | Схема, яка використовує елемент затримки. Умови функціонування. | Елемент зі зворотним зв'язком. Якщо формула, що підлягає мінімізації, дана в скороченою диз'юнктивній нормальній формі, вона повинна бути зведена до досконалої диз'юнктивній нормальній формі, щоб можна було застосувати описану вище техніку мінімізації. Цей метод представляє певну цінність, але не завжди є кращим, ніж тільки що ілюстрований, так як в деяких випадках найпростіший спосіб відшукання кон'юнкція, які задовольняють описаної перевірці, які увійдуть в мінімальне вираження, полягає в перетворенні вихідного вираження в діз'юнктівную досконалу нормальну-форму.
Якщо елементарні кон'юнкції, що входять в діз'юнктівную нормальну форму, містять все я змінних, то остання називається досконалою диз'юнктивній нормальною формою.
Друге зауваження стосується того, що спосіб перетворення формули А в еквівалентну їй формулу В через загальну для них досконалу діз'юнктівную нормальну форму g потрібен був нам лише для встановлення принципової можливості переходу від А до В.
В отриманому нами виразі функція г /теж представлена в диз'юнктивній нормальній формі (ДНФ), але це вже не досконала діз'юнктівная нормальна форма. В даному випадку наша функція дредетавлена в мінімальної ДНФ.
МІНІМАЛЬНИЙ ЧЛЕН логічної (булевої) функції (logical function minimal member; mcmbre minimal; Minimal-died) - простий импликант функції, члени досконалої диз'юнктивній нормальної форми (СДНФ) к-рій відповідають не тільки нсем робочим станам релейного ланцюга, але також і недо-рим її невживаних і байдужим станів. Якщо умови роботи деякої релейного ланцюга задані недоопре поділеній логічний.
Побудова 6 (а по А (о. МІНІМАЛЬНИЙ ЧЛЕН логічної (булевої) функції (logical function minimal member; membre minimal; Minimal-died) - простий импликант функції, члени досконалої диз'юнктивній нормальної форми (СДНФ) к-рій відповідають не тільки всім робочим станів релейного ланцюга, але також і недо-рим її невживаних і байдужим станів. Якщо умови роботи деякої релейного ланцюга задані недоопределена-ної логічний.
Оскільки в якості цих значень можуть бути обрані як 0 так і 1 відповідні їм констітуенти одиниці можуть бути за нашим бажанням або введені в досконалу діз'юнктівную нормальну форму, або виключені з неї.
Диз'юнктивна досконала нормальна форма для тотожне дорівнює одиниці формули буде містити всі л елементарних кон'юнкція, що складаються з п змінних, так що один з методів перевірки формул на тотожність одиниці полягає у зведенні їх до досконалої диз'юнктивній нормальній формі з наступною перевіркою на входження в отриманий вираз всіх елементарних кон'юнкція.
Подібна запис і є перша канонічна форма для аналітичного завдання ФАЛ. Її називають досконалої диз'юнктивній нормальною формою (СДНФ) для даної ПФ.
склавши згадані кон'юнкції для всіх стовпців, де у 1 з'єднаємо їх знаками диз'юнкції. При цьому ми отримаємо досконалу діз'юнктівную нормальну форму, що представляє шукану булеву функцію.
З іншого боку, за умовою, значення функції /і форми% повинні збігатися на всіх наборах. Через довільність вибору% це означає одиничність досконалої диз'юнктивній нормальної форми. Единственность досконалої кон'юнктівной нормальної форми доводиться абсолютно аналогічно. Тим самим теорема 5.4 повністю доведена.
Останній вираз в цьому ланцюзі рівностей є шукану досконалу діз'юнктівную нормальну форму. Встановимо тепер наступний важливий результат.
Тут доданок 2 - 1т відповідає можливого загальної кількості входжень змінних, а доданок 2 1 + 1 відповідає можливого числа кон'юнктивні або диз'юнктивних членів досконалої нормальної форми. При цьому взято до уваги те, що досконала діз'юнктівная нормальна форма, що включає більше 2т - 1 кон'юнктивні членів, може бути замінена функцією доповнення, або кон'юнктівной формою, що має не більше 2т 1 членів, і навпаки. Виникає зазвичай можливість мінімізації досконалої нормальної форми зменшує число вхідних каналів, необхідних для її схемної реалізації.
Одним з широко використовуваних є метод безпосереднього спрощення досконалої диз'юнктивній нормальної форми.
Предикати для операцій будуть наступні: буріння - х /х2 /Я-, промивка - х2 /х5 /Хв, підйом інструменту - х //х7 /ХД. Ці предикати можна об'єднати в одну формулу на основі теореми про досконалої диз'юнктивній нормальній формі, в якій набори кон'юнкція з'єднані знаками диз'юнкції. Після мінімізації відповідно до теоремами алгебри логіки формула може служити для визначення виду операцій і реалізується в автоматичному пристрої.
Диз'юнкція будь-якого числа елементарних творів, що не містить двох однакових творів, називається диз'юнктивній нормальною формою. Диз'юнктивна нормальна форма, що складається виключно з констітуенти одиниці, називається досконалою диз'юнктивній нормальною формою.
Структурна схема об'єднання ППЗУ К500РЕ149 для розширення кількості адрес в чотири рази.
При роботі ППЗУ як комбінаційного цифрового пристрою сигнали аргументів подаються на адресні входи; сигнали логічних функцій знімаються з виходів. При програмуванні ППЗУ необхідний функціонал необхідно представити у вигляді таблиці істинності, відповідної досконалої диз'юнктивній нормальній формі. Функціонал, заданий в іншій формі, слід попередньо перетворити в СДНФ, для чого зручно використовувати ЕОМ, пов'язану з програматором ППЗУ.
Аналогічним чином визначається досконала кон'юнктивна нормальна форма. Це визначення проводиться в термінах, двоїстих тим, які ми вживали при визначенні досконалої диз'юнктивній нормальної форми.
Можна довести, що кожна не тотожне справжня формула має єдину, з точністю до порядку розташування множників і доданків, досконалу кон'юнктівную нормальну форму. Правила приведення довільної формули до досконалої кон'юнктивній нормальній формі аналогічні тим, які ми описали для знаходження досконалої диз'юнктивній нормальної форми, і виражаються в подвійних термінах.
Якщо функція не представлена в формі суми произве: дений, починають з відповідного перетворення, щоб привести її до цього виду. Якщо деякі члени містять менше змінних, ніж їх містить функція, призводять, крім того, вираз до досконалої диз'юнктивній нормальній формі.
Вчинені нормальні форми грають велику роль в математичній логіці. За їх допомогою вирішуються багато завдань як в самій математичній логіці, так і при застосуванні її для синтезу та аналізу релейно-контактних і електронних схем. Часто досконала діз'юнктівная нормальна форма записується скорочено - СДНФ, а досконала кон'юнктивна нормальна форма - СКНФ.
Нехай задана діз'юнктівная нормальна форма аЬ ас'с. Потрібно знайти досконалу діз'юнктівную нормальну форму.
Ці вирази називаються диз'юнктивними нормальними формами. Можливість приведення до досконалої диз'юнктивній нормальній формі лежить в основі алгоритму, який встановлює рівність чи нерівність двох заданих формул.
Знайдене вираз досить громіздко. Зараз, однак, ми не будемо займатися його спрощенням, а вкажемо лише один більш простий метод завдання скоєних діз'юнктівних нормальних форм, часто застосовується на практиці. Суть цього методу полягає в тому, що замість явного виписування констітуєнт одиниці, що складають діз'юнктівную нормальну форму, виписуються лише номери цих констітуєнт, тобто номера тих наборів, на яких дані консти-туенти звертаються в одиницю. При цьому, зрозуміло, необхідно фіксувати деякий певний порядок проходження змінних, від яких залежать функції збудження.
Досконалої диз'юнктивній нормальною формою (СДНФ) називається диз'юнкція кінцевого числа констітуєнт одиниці.
Досконалої диз'юнктивній нормальною формою формули алгебри висловлювань (СДНФ) називається ДНФ, в якій: 1) всі складові містять співмножником всі змінні - без заперечення або з запереченням, але не разом.
Щоб отримати досконалу діз'юнктівную нормальну форму, в якій кожен твір має містити кожну з змінних або її доповнення до 1 помножимо обидва члени.
ДНФ називається досконалою диз'юнктивній нормальною формою (С ДНФ), якщо ранг кожного з її членів буде дорівнює т - числу незалежних змінних.
Оскільки у вигляді досконалої диз'юнктивної нормальної форми може бути представлена будь-яка булева функція (теорема 5.4), то з пропозицій 575.8 і 510 випливає справедливість наступного результату.
Щоб виявити члени досконалої диз'юнктивній нормальної форми, кожен з яких містить чотири змінних.
Це уявлення є аналогом досконалої диз'юнктивній нормальної форми. Якщо функцій /реалізується деякої формулою, що містить лише символи функцій з даного класу 91 то говорять, що /виразність через фувлсціі класу ЕД.
Ясно, що вийшла в результаті досконала діз'юнктівная нормальна форма еквівалентна вихідній формулі, оскільки на кожному з описаних вище кроків ми користувалися еквівалентними перетвореннями.
Слід підкреслити, що введення в досконалу діз'юнктівную нормальну форму деяких байдужих констітуєнт може сприяти, як це буде показано в наступному розділі, більш повної мінімізації цієї форми.
Для того щоб зазначена сума творів представляла досконалу діз'юнктівную нормальну форму, необхідно, крім того, щоб 1) вона не містила двох однакових доданків, 2) ні в одному доданку суми множники не повторювалися і 3) ні в одному доданку суми не зустрічалися одночасно, змінна і її доповнення.
Перш ніж спрощувати функцію, записану в досконалої диз'юнктивній нормальній формі, являють кожен член функції цифрою 1 що вписується в квадрат, відповідний розглянутого члену. Потім виробляють угруповання членів шляхом відповідного об'єднання зазначених таким чином квадратів. Правила, яких необхідно дотримуватися, щоб здійснити об'єднання, про яке йде мова, варіюють відповідно до структури діаграми, отже, також згідно з кількістю змінних. Ми розглянемо діаграму для чотирьох змінних фіг.
Будь-яка булева функція має одну і тільки одну досконалу діз'юнктівную нормальну форму, а також одну і тільки одну досконалу кон'юнктівную нормальну форму.
визначимо характеристичне рівняння 5-тригера, представивши (5.6) в досконалої диз'юнктивній нормальній формі (СДНФ) і мінімізувавши останню за допомогою найбільш простого і наочного методу для функцій невеликого числа змінних (6) - методу карт Карно. Якщо функція на деяких наборах має невизначене значення 0 то її доопределяют.
Рт, еквівалентна деякій формулі F (званої досконалої диз'юнктивній Нормальною формою формули Е), що має один з наступних двох видів.
Згідно з теоремою 5.4 вони мають одну і ту ж досконалу діз'юнктівную нормальну форму пор.
Подання (1.3) є узагальнення добре відомого уявлення булевих функцій у вигляді досконалої диз'юнктивної нормальної форми.
У) - Зауважимо, нарешті, що за допомогою ферродіодних дросельних елементів досконала діз'юнктівная нормальна форма реалізується (як і на ферротрансформаторних елементах) за два такту.
Про п р е д е л е н і е 213. досконалої диз'юнктивній нормальною формою (СДНФ) щодо змінних ХГ.
Така диз'юнкція всіх елементарних кон'юнкція, для яких розглянута формула істинна, називається досконалою диз'юнктивній нормальною формою.
Якщо 91 тотожне помилкова, то всі складові будуть вилучені і ми не отримаємо досконалої диз'юнктивній нормальної форми.
Оскільки, однак, zx і z2 залежать від одних і тих же аргументів, досконала діз'юнктівная нормальна форма для z m містить не більше 2т кон'юнкція.
Нехай обидві функції - zx і z2 - задані таблицями або формулами, приведеними до досконалої диз'юнктивній нормальній формі.
Дійсно, як формули, що представляє будь-яку дану булеву функцію /, можна вибрати її досконалу діз'юнктівную нормальну форму.
Скорочена діз'юнктівная нормальна форма є, взагалі кажучи, більш економним способом представлення булевої функції, ніж досконала діз'юнктівная нормальна форма. Однак в більшості випадків вона допускає подальші спрощення за рахунок того, що деякі з простих импликант можуть поглинатися диз'юнкцій інших простих импликант.
За допомогою співвідношень (10) - (30) будь-яка формула булевої алгебри може бути приведена до досконалої диз'юнктивній нормальній формі.
Елемент затримки, який реалізує операцію якщо тільки p (t істинно, то. (. Теж істинно. Можна вважати, що fl (O помилково. | Схема, яка використовує елемент затримки. Умови функціонування. | Елемент зі зворотним зв'язком. Якщо формула, що підлягає мінімізації, дана в скороченою диз'юнктивній нормальній формі, вона повинна бути зведена до досконалої диз'юнктивній нормальній формі, щоб можна було застосувати описану вище техніку мінімізації. Цей метод представляє певну цінність, але не завжди є кращим, ніж тільки що ілюстрований, так як в деяких випадках найпростіший спосіб відшукання кон'юнкція, які задовольняють описаної перевірці, які увійдуть в мінімальне вираження, полягає в перетворенні вихідного вираження в діз'юнктівную досконалу нормальну-форму.
Якщо елементарні кон'юнкції, що входять в діз'юнктівную нормальну форму, містять все я змінних, то остання називається досконалою диз'юнктивній нормальною формою.
Друге зауваження стосується того, що спосіб перетворення формули А в еквівалентну їй формулу В через загальну для них досконалу діз'юнктівную нормальну форму g потрібен був нам лише для встановлення принципової можливості переходу від А до В.
В отриманому нами виразі функція г /теж представлена в диз'юнктивній нормальній формі (ДНФ), але це вже не досконала діз'юнктівная нормальна форма. В даному випадку наша функція дредетавлена в мінімальної ДНФ.
МІНІМАЛЬНИЙ ЧЛЕН логічної (булевої) функції (logical function minimal member; mcmbre minimal; Minimal-died) - простий импликант функції, члени досконалої диз'юнктивній нормальної форми (СДНФ) к-рій відповідають не тільки нсем робочим станам релейного ланцюга, але також і недо-рим її невживаних і байдужим станів. Якщо умови роботи деякої релейного ланцюга задані недоопре поділеній логічний.
Побудова 6 (а по А (о. МІНІМАЛЬНИЙ ЧЛЕН логічної (булевої) функції (logical function minimal member; membre minimal; Minimal-died) - простий импликант функції, члени досконалої диз'юнктивній нормальної форми (СДНФ) к-рій відповідають не тільки всім робочим станів релейного ланцюга, але також і недо-рим її невживаних і байдужим станів. Якщо умови роботи деякої релейного ланцюга задані недоопределена-ної логічний.
Оскільки в якості цих значень можуть бути обрані як 0 так і 1 відповідні їм констітуенти одиниці можуть бути за нашим бажанням або введені в досконалу діз'юнктівную нормальну форму, або виключені з неї.
Диз'юнктивна досконала нормальна форма для тотожне дорівнює одиниці формули буде містити всі л елементарних кон'юнкція, що складаються з п змінних, так що один з методів перевірки формул на тотожність одиниці полягає у зведенні їх до досконалої диз'юнктивній нормальній формі з наступною перевіркою на входження в отриманий вираз всіх елементарних кон'юнкція.
Подібна запис і є перша канонічна форма для аналітичного завдання ФАЛ. Її називають досконалої диз'юнктивній нормальною формою (СДНФ) для даної ПФ.
склавши згадані кон'юнкції для всіх стовпців, де у 1 з'єднаємо їх знаками диз'юнкції. При цьому ми отримаємо досконалу діз'юнктівную нормальну форму, що представляє шукану булеву функцію.
З іншого боку, за умовою, значення функції /і форми% повинні збігатися на всіх наборах. Через довільність вибору% це означає одиничність досконалої диз'юнктивній нормальної форми. Единственность досконалої кон'юнктівной нормальної форми доводиться абсолютно аналогічно. Тим самим теорема 5.4 повністю доведена.
Останній вираз в цьому ланцюзі рівностей є шукану досконалу діз'юнктівную нормальну форму. Встановимо тепер наступний важливий результат.
Тут доданок 2 - 1т відповідає можливого загальної кількості входжень змінних, а доданок 2 1 + 1 відповідає можливого числа кон'юнктивні або диз'юнктивних членів досконалої нормальної форми. При цьому взято до уваги те, що досконала діз'юнктівная нормальна форма, що включає більше 2т - 1 кон'юнктивні членів, може бути замінена функцією доповнення, або кон'юнктівной формою, що має не більше 2т 1 членів, і навпаки. Виникає зазвичай можливість мінімізації досконалої нормальної форми зменшує число вхідних каналів, необхідних для її схемної реалізації.
Одним з широко використовуваних є метод безпосереднього спрощення досконалої диз'юнктивній нормальної форми.
Предикати для операцій будуть наступні: буріння - х /х2 /Я-, промивка - х2 /х5 /Хв, підйом інструменту - х //х7 /ХД. Ці предикати можна об'єднати в одну формулу на основі теореми про досконалої диз'юнктивній нормальній формі, в якій набори кон'юнкція з'єднані знаками диз'юнкції. Після мінімізації відповідно до теоремами алгебри логіки формула може служити для визначення виду операцій і реалізується в автоматичному пристрої.
Диз'юнкція будь-якого числа елементарних творів, що не містить двох однакових творів, називається диз'юнктивній нормальною формою. Диз'юнктивна нормальна форма, що складається виключно з констітуенти одиниці, називається досконалою диз'юнктивній нормальною формою.
Структурна схема об'єднання ППЗУ К500РЕ149 для розширення кількості адрес в чотири рази.
При роботі ППЗУ як комбінаційного цифрового пристрою сигнали аргументів подаються на адресні входи; сигнали логічних функцій знімаються з виходів. При програмуванні ППЗУ необхідний функціонал необхідно представити у вигляді таблиці істинності, відповідної досконалої диз'юнктивній нормальній формі. Функціонал, заданий в іншій формі, слід попередньо перетворити в СДНФ, для чого зручно використовувати ЕОМ, пов'язану з програматором ППЗУ.
Аналогічним чином визначається досконала кон'юнктивна нормальна форма. Це визначення проводиться в термінах, двоїстих тим, які ми вживали при визначенні досконалої диз'юнктивній нормальної форми.
Можна довести, що кожна не тотожне справжня формула має єдину, з точністю до порядку розташування множників і доданків, досконалу кон'юнктівную нормальну форму. Правила приведення довільної формули до досконалої кон'юнктивній нормальній формі аналогічні тим, які ми описали для знаходження досконалої диз'юнктивній нормальної форми, і виражаються в подвійних термінах.
Якщо функція не представлена в формі суми произве: дений, починають з відповідного перетворення, щоб привести її до цього виду. Якщо деякі члени містять менше змінних, ніж їх містить функція, призводять, крім того, вираз до досконалої диз'юнктивній нормальній формі.
Вчинені нормальні форми грають велику роль в математичній логіці. За їх допомогою вирішуються багато завдань як в самій математичній логіці, так і при застосуванні її для синтезу та аналізу релейно-контактних і електронних схем. Часто досконала діз'юнктівная нормальна форма записується скорочено - СДНФ, а досконала кон'юнктивна нормальна форма - СКНФ.
Нехай задана діз'юнктівная нормальна форма аЬ ас'с. Потрібно знайти досконалу діз'юнктівную нормальну форму.
Ці вирази називаються диз'юнктивними нормальними формами. Можливість приведення до досконалої диз'юнктивній нормальній формі лежить в основі алгоритму, який встановлює рівність чи нерівність двох заданих формул.
Знайдене вираз досить громіздко. Зараз, однак, ми не будемо займатися його спрощенням, а вкажемо лише один більш простий метод завдання скоєних діз'юнктівних нормальних форм, часто застосовується на практиці. Суть цього методу полягає в тому, що замість явного виписування констітуєнт одиниці, що складають діз'юнктівную нормальну форму, виписуються лише номери цих констітуєнт, тобто номера тих наборів, на яких дані консти-туенти звертаються в одиницю. При цьому, зрозуміло, необхідно фіксувати деякий певний порядок проходження змінних, від яких залежать функції збудження.