6.Метод мінімізації Квайна.

Послідовність мінімізації форм перемикальнихфункцій по методу Квайна:

1.Знаходять скорочені ДНФ або КНФ;

2.З скороченої форми будують тупикові;

3.Серед тупикових вибирають мінімальну.

Якщо всі тупикові форми функції містять однакову кількість букв, то будь-яка з них є мінімальною. Отже, процес відшукування мінімальних ДНФ (КНФ) зводиться до отримання всіх тупикових ДНФ (КНФ) заданої функції і вибору з них форм з мінімальною кількістю букв.

Метод мінімізації Квайна припускає виконання строго певних етапів, що дає можливість використовувати ЕОМ. Проте при ручному способі мінімізації метод Квайна є трудомістким, оскільки необхідно виконати перевірку всіх можливих пар елементарних кон'юнкцій (диз'юнкцій) на можливість їх склеювання.

Тому, при невеликому числі змінних (менше 6) використовують метод Карно- Вєйча, що володіє великою наочністю.

7.Імплікантні матриці.

Для виключення зайвих імплікант і отримання тупикових ДНФ застосовують метод імплікантних матриць (таблиць), що є прямокутною таблицею, стовпці якої відповідають конституентам одиниці заданої функції, а рядки - простим імплікантам.

Якщо просту імпліканту можна отримати з конституенти шляхом викреслювання деяких букв, то говорять, що імпліканта накриває конституенту.

Якщо проста імпліканта накриває деяку конституенту одиниці, то клітинка імплікантної матриці, що відповідає цій імпліканті і конституенті, позначається зірочкою.

Для отримання тупикової ДНФ необхідно знайти суму простих імплікант, які спільно накривають всі конституенти одиниці. При цьому, кожна імпліканта повинна накривати хоч би одну конституенту, що не накривається ніякими іншими імплікантами.

8.Метод Карно-Вейча.

Карти Карно- Вєйча - це графічне представлення таблиць істинності логічних функцій, що перетворені таким чином, що у функції, нанесеної на таку карту, сусідні кон'юнкції знаходяться або поряд, або на заздалегідь відомих місцях.

Карти для двох, трьох і чотирьох змінних є площинами, отриманими з поверхонь торів, поділених відповідно на 4, 8 і 16 кліток (причому спочатку тор розрізаний і випрямлений в циліндр, а потім цей циліндр розрізаний по твірній і розгорнений в площину).

Оскільки карта - це перетворена таблиця істинності, то її площа (тобто число клітинок її складових) рівне 2ⁿ, де п - число змінних.

Комірки карти Карно, являють собою фунцію, яка містить стільки одиниць, скільки елементарних добутків міститься в складі її СДНФ.

1.Число елементарних добутків в кінцевій формулі рівне числу прямокутників. Тобто чим менше накриттів (прямокутників), тим менше кон'юнкцій буде в результаті.

2.Чим більше комірок в прямокутнику (чим більше площа накриття) тим менше змінних міститься в елементарному добутку.