Минимизация с помощью карт Вейча

Смысл минимизации состоит в том, что специальным образом размечаются карты, где каждая клеточка – возможная комбинация значений аргументов. В эту карту заносятся единицы, соответсвующие конституентам единицы минимизируемой функции. А затем выделяются максимальные правильные подкубы, что соответсвует операциям склеивания и поглощения.

Примеры.

Пусть дана СДНФ импликации: XY Ú XY Ú XY

Y Y

X

МДНФ для импликации, в соответствии с двумя выделенными подкубами, будет:

X Ú Y

Для СДНФ XYZ Ú XYZ Ú XYZ Ú XYZ Ú XYZ

X X

Y _ Y

Z Z Z

Для СДНФ XYZ Ú XYZ Ú XYZ Ú XYZ Ú XYZ

X X

Z Z Z