![](/user_photo/2706_HbeT2.jpg)
- •Логічні операції та логічні змінні
- •2. Булеві функції
- •3. Булеві функції однієї та двох змінних
- •Практичне заняття 1
- •4. Системи базових (елементарних) операцій
- •Булеві функції багатьох змінних
- •Практичне заняття 2
- •6. Булева двохелементна алгебра. Алгебра логіки
- •Практичне заняття 3
- •7. Алгебра Жегалкіна
- •Практичне заняття 4
- •8. Диз’юнктивні нормальні форми (днф) булевих функцій
- •Практичне заняття 5
- •9. Досконала диз’юнктивна нормальна форма булевої функції
- •Практичне заняття 6
- •10. Кон’юнктивні нормальні форми (кнф) булевих функцій
- •Практичне заняття 7.
- •11. Досконала кон’юнктивна нормальна форма булевих функцій
- •Практичне заняття 8.
- •12. Принцип двоїстості
- •13. Двоїстість булевих функцій
- •Практичне заняття 9
- •14. Поліном Жегалкіна. Лінійні функції
- •Практичне заняття 10
- •15. Функції, що зберігають нуль та функції, що зберігають одиницю. Монотонні функції
- •Практичне заняття 11.
- •16. Класи Поста. Теорема Поста
- •Практичне заняття 12
- •17. Мінімізація булевих функцій
- •17.1 Постановка задачі. Основні поняття
- •17.2. Мінімізація булевих функцій методом карт Карно
- •Практичне заняття 13
- •17.3. Мінімізація на множині кнф
- •Практичне заняття 14
- •17.4. Мінімізація функцій методом Квайна – Мак-Класкі
Практичне заняття 13
Знайти МДНФ булевої функції
яка дорівнює 1 на словах 0000, 0010, 0101, 0111,
1000, 1001, 1010, 1011, 1101, 1111.
Виконання. Заповнимо карту Карно
|
|
||||
00 |
01 |
11 |
10 |
||
|
00 |
1 |
|
|
1 |
01 |
|
1 |
1 |
1 |
|
11 |
|
1 |
1 |
1 |
|
10 |
1 |
|
|
1 |
Розбиваємо на блоки:
,
,
,
.
МДНФ:
.
Варіанти для самостійної роботи
Варіант |
Слова на яких функція дорівнює 1 |
1 |
0001, 0011, 0111, 1001, 1010, 1011, 1100, 1101, 1110, 1111 |
2 |
0011, 0100, 0110, 1001, 1010, 1011, 1100, 1101, 1110, 1111 |
3 |
0010, 0100, 0111, 1001, 1010, 1011, 1100, 1101, 1110, 1111 |
4 |
0000, 0010, 0011, 0100, 0111, 1011, 1100, 1101, 1110, 1111 |
5 |
0010, 0101, 0111, 1001, 1010, 1011, 1100, 1101, 1110, 1111 |
6 |
0000, 0010, 0011, 0100, 0110, 1011, 1100, 1101, 1110, 1111 |
7 |
0001, 0010, 0011, 0100, 0101, 1011, 1100, 1101, 1110, 1111 |
8 |
0010, 0100, 0111, 1001, 1010, 1011, 1100, 1101, 1110, 1111 |
9 |
0000, 0001, 0011, 0101, 0110, 1011, 1100, 1101, 1110, 1111 |
10 |
0000, 0010, 0011, 1001, 1010, 1011, 1100, 1101, 1110, 1111 |
11 |
0000, 0010, 0011, 0100, 0110, 1011, 1100, 1101, 1110, 1111 |
12 |
0000, 0010, 0011, 0100, 1010, 1011, 1100, 1101, 1110, 1111 |
13 |
0000, 0100, 0111, 1001, 1010, 1011, 1100, 1101, 1110, 1111 |
14 |
0010, 0100, 0110, 1001, 1010, 1011, 1100, 1101, 1110, 1111 |
15 |
0000, 0010, 0011, 0100, 0101, 1011, 1100, 1101, 1110, 1111 |
16 |
0000, 0010, 0011, 0100, 0110, 1011, 1100, 1101, 1110, 1111 |
17 |
0010, 0011, 0111, 1001, 1010, 1011, 1100, 1101, 1110, 1111 |
17.3. Мінімізація на множині кнф
Для мінімізації булевої функції на множині КНФ використовуються діаграми (карти) Вейча. Їх побудова аналогічна картам Карно і має бути зрозумілою з прикладу.
Приклад 1. Знайти мінімальну КНФ (МНКФ) булевої функції
.
Виконання.
|
|
||||
00 |
01 |
11 |
10 |
||
|
00 |
0 |
|
|
0 |
01 |
|
|
|
|
|
11 |
0 |
0 |
|
|
|
10 |
0 |
0 |
0 |
|
|
|
||||
00 |
01 |
11 |
10 |
||
|
00 |
0 |
|
|
0 |
01 |
|
|
|
|
|
11 |
|
|
|
0 |
|
10 |
|
|
|
|
,
,
,
.
МКНФ:
.