3.5. Мднф логических функций.

Минимизацию логических функций проведем с помощью карт Карно.

При нахождении МДНФ данный метод отличается от того, как находили МКНФ, следующим. Сначала вместо лог. 0 выделяются лог. 1. Дизъюнкция заменяется конъюнкцией, и наоборот. Инвертируются те аргументы, значение которых равно лог. 0.

Y1:

X3X4 X1X2	00	01	11	10
0 0	0	0	0	1
0 1	1	1	0	0
11	0	1	0	0
1 0	1	0	0	0

Область	Набор значений аргументов
1 (с)	0010
2 (к)	010*
3 (з)	*101
4 (ф)	1000

МДНФ для функции Y1 имеет следующий вид:

Y2:

X3X4 X1X2	00	01	11	10
0 0	0	1	1	0
01	0	1	0	0
1 1	0	0	1	0
10	0	1	1	0

Область	Набор значений аргументов
1 (к)	*0*1
2 (ф)	0*01
3 (з)	1*11

МДНФ для функции Y2 имеет следующий вид:

Y3:

X3X4 X1X2	00	01	11	10
00	0	0	0	0
0 1	0	0	1	0
11	0	0	0	0
10	0	0	0	0

Область	Набор значений аргументов
1	0111

МДНФ для функции Y3 имеет следующий вид:

3.6. Представление логических функций в базисе или-не.

Представление логической функции в базисе ИЛИ-НЕ проведем с помощью МКНФ.

Сначала функция дважды инвертируется, а затем преобразуется с помощью формул де Моргана.

3.7. Представление логических функций в базисе и-не.

Представление логической функции в базисе И-НЕ проведем с помощью МДНФ.

Сначала функция дважды инвертируется, а затем преобразуется с помощью формул де Моргана.

Для представления в базисе И-НЕ логических функций Y3 и Y4, кроме инверсии и формул де Моргана, воспользуемся правилом: .