Упрощение ФАЛ с сохранением её свойств называется минимизацией

Целью минимизации является переход от совершенной формы записи ФАЛ к соответствующей нормальной форме с минимальным числом членов и минимальным числом аргументов в каждом из них.

Существует два класса методов минимизации ФАЛ: графические и алгебраические. Из графических методов наибольшее практическое применение получил метод карт Вейча-Карно.

1. Минимизация ФАЛ с помощью карт Вейча-Карно.

Карта Вейча-Карно представляет собой специальную форму таблицы истинности для двух, трёх или четырёх аргументов:

n = 2n = 3 Число клеток карты определяется числом

х₁ х₁ х₁ х₁ возможных наборов значений аргументов и

х₀ х₀ при числе аргументов n равно 2ⁿ.

х₀ х₀ Таким образом, каждая клетка карты соответ-
х₂ х₂ х₂ ствует определённому набору аргументов.

n = 4

х₁ х₁ Минимизация производится в следующей

х₀ х₃ последовательности.
Отмечаются клетки карты, соответствую-

х₃ щие членам исходной функции или, иными

х₀ х₃ словами, наборам аргументов, на которых
х₂ х₂ х₂ функция обращается в 1, если используется

Дата добавления: 2014-01-07