Смысл минимизации состоит в том, что специальным образом размечаются карты, где каждая клеточка – возможная комбинация значений аргументов. В эту карту заносятся единицы, соответсвующие конституентам единицы минимизируемой функции. А затем выделяются максимальные правильные подкубы, что соответсвует операциям склеивания и поглощения.
Примеры.
Пусть дана СДНФ импликации: XY Ú XY Ú XY
Y Y
МДНФ для импликации, в соответствии с двумя выделенными подкубами, будет:
X Ú Y
Для СДНФ XYZ Ú XYZ Ú XYZ Ú XYZ Ú XYZ
X X
Z Z Z
Для СДНФ XYZ Ú XYZ Ú XYZ Ú XYZ Ú XYZ
X X
Z Z Z