• Гідрологія і Гідрометрія
• Господарське право
• Економіка будівництва
• Економіка природокористування
• Економічна теорія
• Земельне право
• Історія України
• Кримінально виконавче право
• Медична радіологія
• Методи аналізу
• Міжнародне приватне право
• Міжнародний маркетинг
• Основи екології
• Предмет Політологія
• Соціальне страхування
• Технічні засоби організації дорожнього руху
• Товарознавство продовольчих товарів

За допомогою рівносильних перетворень

Алгоритм знаходження ДДНФ (ДКНФ) для даної булевої функції

1) Позбавитися у формулі від входжень знаків всіх логічних зв'язок, крім ;

2) Користуючись законами де Моргана, добитися того, щоб знак стояв тільки перед змінними;

3) Поповнити елементарні кон’юнкції (диз’юнкції) до повних так: якщо змінна не входить у формулу , то оскільки (), то ();

4) Користуючись законами ідемпотентності, з однакових членів отриманої диз’юнкції (кон’юнкції) залишити тільки один.

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

Розв’язання: Знайдемо ДДНФ:

– позбавимося у формулі від входження знаків та :

– користуючись законом де Моргана, доб'ємося того, щоб знак стояв тільки перед змінними:

– отримали ДНФ, елементарні кон’юнкції якої поповнимо до повних:

– отримали ДДНФ.

Знайдемо ДКНФ:

………………………………

– отримали ДНФ, з якої за дистрибутивністю отримаємо КНФ:

поповнимо елементарні диз’юнкції до повних:

– отримали ДКНФ.

Читайте також:

1. Алгоритм жорданових перетворень
2. Аналіз економічноїї політики за допомогою моделі Мандела-Флемінга. Випадки вільного та фіксованого валютного курсів.
3. Аналіз цін конкурентів проводиться за допомогою
4. Вертикальне наведення.Вертикальне наведення виконується за допомогою прицілу, бічного рівня і підйомного механізму.
5. Вибір кращих альтернатив за допомогою бінарних відношень
6. Види і напрямки організаційних перетворень міжнародних корпорацій
7. Визначення розміру полів за допомогою розбиття статті на 9 рівних частин
8. Виконання лінійної регресії за допомогою функцій Excel
9. Вимірювання опорів за допомогою магнітоелектрич­ного вимірювального механізму
10. Вимоги до документів, що виготовляються за допомогою друкарських пристроїв
11. Виявляння витоку за допомогою гідравлічного преса
12. Відносні прикметники можуть утворюватися від іменника за допомогою суфіксів –ов, -ев, -єв.

Переглядів: 2945