Спрощення ДНФ за матричною формою Закревського

Перший крок побудови максимальних інтервалів для заданого елемента матричної форми заснований на використанні симетрії матриці в коді Грея. Із цією метою виділяються осі симетрії й зони їхньої дії.

Визначення. Віссю симетрії за змінною x_i називається лінія зміни значення цієї змінної за матричною формою. Для деяких змінних у матричній формі присутня кілька осей симетрії.

Приклад. У матричній формі виділені осі симетрії всіх змінних і показані для виділених елементів симетричні їм елементи.

Таблиця 29.5

					x3	x3
			x2	x2			x2	x2
		x1	x1	x1	x1	x1	x1	x1	x1
	x4|
x5|	x4|			·
x5|	x4|
	x4|								·

 

Осі симетрії уявляють подумки. Кожна вісь симетрії має зону своєї дії, якщо вісь одна, зона її дії вся матриця, якщо осей дві, зона їхньої дії по половині матриці й т.д.