Задание 1
Дано:
Преобразовать булеву функцию к виду:
а) СДНФ с помощью алгоритма;
б) СКНФ с помощью двойственности.
Проверить ответ с помощью таблицы истинности.
а)
=
б)
Проверка
|
|
|
|
|
|
| 0
| 0
| 0
| 0
| 0
| 1
| 1
| 0
| 0
| 1
| 0
| 0
| 1
| 1
| 0
| 1
| 0
| 1
| 0
| 1
| 0
| 0
| 1
| 1
| 1
| 1
| 0
| 1
| 1
| 0
| 0
| 1
| 0
| 1
| 0
| 1
| 0
| 1
| 1
| 0
| 1
| 0
| 1
| 1
| 0
| 0
| 0
| 1
| 1
| 1
| 1
| 1
| 0
| 1
| 1
| 1
| а) на наборах:
б) на наборах:
Задание 2
1. Совершенная дизъюнктивная нормальная форма задана в двоичном виде. Привести её к минимальной дизъюнктивной нормальной форме:
1) методом непосредственных преобразований;
2) методом карт Карно;
3) методом Квайна – Мак-Класки.
2. Привести булеву функцию f к минимальной дизъюнктивной нормальной форме с методом непосредственных преобразований:
1.
Дано:
1)
2) Карта Карно для исходной функции:
|
|
|
|
|
| 1
| 1
|
| 1
|
| 1
| 1
| 1
| 1
|
| 1
| 1
| 1
| 1
|
| 1
| 1
| 1
| 1
| МДНФ:
Индекс
| Набор
| 0
| 0000
| 1
| 0001
0010
0100
1000
| 2
| 0101
0110
1001
1010
1100
| 3
| 0111
1011
1101
1110
| 4
| 1111
| 3) Первый уровень:
Второй уровень:
Индекс
| Набор
| 0-1
| 000-
00-0
0-00
-000
| 1-2
| 0-01
-001
-010
0-10
01-0
010-
100-
10-0
1-00
| 2-3
| 01-1
-101
011-
-110
1-01
10-1
101-
110-
11-0
| 3-4
| -111
1-11
11-1
111-
| Третий уровень:
Индекс
| Набор
| 0-1-1-2
| -00-
0-0-
0—0
-0-0
0-0-
0—0
--00
-00-
-0-0
| 1-2-2-3
| --01
--01
--10
01—
01—
-10-
10—
1-0-
10—
1—0
1-0-
| 2-3-3-4
| -1-1
-1-1
-11-
-11-
1—1
1—1
1-1-
11—
11—
| Четвертый уровень:
Индекс
| Набор
| 0-1-1-2
| -0-0
| 1-2-2-3
| --01
--10
| 2-3-3-4
| -1-1
| 0-1-1-2-1-2-2-3
| --0-
--0-
---0
--0-
---0
| 1-2-2-3-2-3-3-4
| -1—
-1—
1---
1---
1---
|
| 0000
| 0001
| 0010
| 0100
| 0101
| 0110
| 0111
| 1000
| 1001
| 1010
| 1011
| 1100
| 1101
| 1110
| 1111
| -0-0
| *
|
| *
|
|
|
|
| *
|
| *
|
|
|
|
|
| --01
|
| *
|
|
| *
|
|
|
| *
|
|
|
| *
|
|
| --10
|
|
| *
|
|
| *
|
|
|
| *
|
|
|
| *
|
| -1-1
|
|
|
|
| *
|
| *
|
|
|
|
|
| *
|
| *
| --0-
| *
| *
|
| *
| *
|
|
| *
| *
|
|
| *
| *
|
|
| ---0
| *
|
| *
| *
|
| *
|
| *
|
| *
|
| *
|
| *
|
| -1--
|
|
|
| *
| *
| *
| *
|
|
|
|
| *
| *
| *
| *
| 1---
|
|
|
|
|
|
|
| *
| *
| *
| *
| *
| *
| *
| *
| МДНФ: |