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

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

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

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

Таблиця 29.5

					x 3	x 3
			x 2	x 2			x 2	x 2
		x 1	x 1	x 1	x 1	x 1	x 1	x 1	x 1
	x4|
x5|	x4|			·
x5|	x4|
	x4|								·

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