Минимизация ДНФ. Метод минимизирующих карт

Минимизация проводится в классе ДНФ методом минимизирующих карт. Функция должна быть задана её таблицей истинности или её СДНФ. Минимизирующая карта имеет 2 строк, где n – число переменных функции, и на (2 - 1) столбцов. Например, для n = 3:

x	y	z	x y	x z	y z	x y z
x	y	z	x y	x z	y z	x y z
x	y	z	x y	x z	y z	x y z
x	y	z	x y	x z	y z	x y z
x	y	z	x y	x z	y z	x y z
x	y	z	x y	x z	y z	x y z
x	y	z	x y	x z	y z	x y z
x	y	z	x y	x z	y z	x y z

Использование карты основано на следующем: если какая-то конъюнкция последнего столбца карты не входит в СДНФ функции, то все конъюнкции этой строки не входят ни в одну ДНФ функции. Если бы какая-то конъюнкция строки вошла в ДНФ функции, то при получении из этой ДНФ СДНФ эту конъюнкцию расщепили бы по недостающим в ней переменным и получили бы конъюнкцию последнего столбца.