Всі конституанти одиниці з ДДНФ булевої функцію f записуються їх двійковими номерами.
Всі номери розбиваються на групи, що не перетинаються. Ознака утворення і-ї групи: і одиниць в кожному двійковому номері конституєнти одиниці.
Склеювання проводять тільки між номерами сусідніх груп. Склеювані номери відмічається будь-яким знаком (закреслюванням).
Склеювання проводять всеможливі, як і в методі Квайна.
Невідмічені після склеювання номера є простими імплікантами.
Знаходження мінімальних ДНФ дальше проводяться на імплікантній матриці, як і в методі Квайна.
Метод дозволяє швидко отримати мінімальні ДНФ булевої функції f невеликого числа змінних. В основі методу лежить задання булевих функцій діаграмами деякого спеціального виду, які дістали назву діаграм Вейча. Для булевої ф-ції двох змінних діаграма Вейча має вигляд (табл.3) Кожна клітка діаграми відповідає набору змінних булевої функції в її таблиці істиності. В клітці діаграми ставиться одиниця, якщо булева функція приймає одиничне значення на відповідному наборі. Нульові значення булевої функції в діаграмі не ставляться. Для булевої функції трьох змінних діаграма Вейча має такий вигляд (табл.4)
Додаванням до неї ще такої ж таблиці ми отримаємо діаграму для функції 4-х змінних (табл.5). Таким же чином можна отримати діаграму 5-ти змінних і т.д.
Таблиця 5
1101 | 1001 | 1000 |
|
1111 | 1011 | 1010 |
|
0111 | 0011 | 0010 |
|
0101 | 0001 | 0000 |
Отже, ключовими математичними поняттями теорії цифрових автоматів являється т. зв. булева алгебра та її під-дисципліни, які і визначають її математичний базис.
1. А.Я. Савельев. Арифметические и логические основы цифровых автоматов. М.: Высшая школа. 1999.
2. А.Я. Савельев. Прикладная теория цифровых автоматов. М.: Высшая школа. 2007.
3. Е.Н. Вавилов, Г.П. Портной. Синтез схем электронных цифровых машин. М.: Советское радио. 2003.
4. Г.Н. Соловьев. Арифметические устройства ЭВМ. М.: Энергия. 2008.