За допомогою рівносильних перетворень
Алгоритм знаходження ДДНФ (ДКНФ) для даної булевої функції
1) Позбавитися у формулі від входжень знаків всіх логічних зв'язок, крім ;
2) Користуючись законами де Моргана, добитися того, щоб знак стояв тільки перед змінними;
3) Поповнити елементарні кон’юнкції (диз’юнкції) до повних так: якщо змінна не входить у формулу , то оскільки (), то ();
4) Користуючись законами ідемпотентності, з однакових членів отриманої диз’юнкції (кон’юнкції) залишити тільки один.
Приклад. Для булевої функції , яка реалізується формулою знайти ДДНФ і ДКНФ за допомогою рівносильних перетворень.
Розв’язання: Знайдемо ДДНФ:
– позбавимося у формулі від входження знаків та :
– користуючись законом де Моргана, доб'ємося того, щоб знак стояв тільки перед змінними:
– отримали ДНФ, елементарні кон’юнкції якої поповнимо до повних:
– отримали ДДНФ.
Знайдемо ДКНФ:
………………………………
– отримали ДНФ, з якої за дистрибутивністю отримаємо КНФ:
поповнимо елементарні диз’юнкції до повних:
– отримали ДКНФ.
Читайте також: - Алгоритм жорданових перетворень
- Аналіз економічноїї політики за допомогою моделі Мандела-Флемінга. Випадки вільного та фіксованого валютного курсів.
- Аналіз цін конкурентів проводиться за допомогою
- Вертикальне наведення.Вертикальне наведення виконується за допомогою прицілу, бічного рівня і підйомного механізму.
- Вибір кращих альтернатив за допомогою бінарних відношень
- Види і напрямки організаційних перетворень міжнародних корпорацій
- Визначення розміру полів за допомогою розбиття статті на 9 рівних частин
- Виконання лінійної регресії за допомогою функцій Excel
- Вимірювання опорів за допомогою магнітоелектричного вимірювального механізму
- Вимоги до документів, що виготовляються за допомогою друкарських пристроїв
- Виявляння витоку за допомогою гідравлічного преса
- Відносні прикметники можуть утворюватися від іменника за допомогою суфіксів –ов, -ев, -єв.
Не знайшли потрібну інформацію? Скористайтесь пошуком google:
|
|