МКНФ логических функций.

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

Метод заключается в следующем. Значения логической функции вносят в специальную таблицу. Затем выделяют области, содержащие лог. 0, так, чтобы количество клеток в них было степенью 2 (1, 2, 4 и т.д.), самих областей было как можно меньше, а количество клеток в каждой из них как можно больше. Каждой клетке соответствует своя комбинация аргументов. Для каждой области находят аргументы, не меняющие свое значение в пределах данной области, и применяют к ним дизъюнкцию, при этом, если значение аргумента соответствует лог. 1, его инвертируют. Все получившиеся комбинации для отдельных областей логически перемножают.

Y1:

X3X4   X1X2
00
11

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

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

Y2:

X3X4   X1X2
00

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

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

Y3:

X3X4   X1X2
00

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

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

Дата добавления: 2015-10-13