(13)Определение импликант, простые импликанты, избыточные импликанты

Результат склеивания соседних или смежных минтермов называется импликантой, которая представляет собой конъюнкцию, число аргументов в которой на 1 меньше, чем в исходном минтерме. Обычно в процессе минимизации сначала склеивают смежные минтермы, затем импликанты. Склеивание двух смежных импликант дает импликанту эквивалентную четырем минтермам. Такие импликанты называются простыми, состоящими из дизъюнкции простых импликант, называемых сокращенной ДНФ. Может оказаться, что в сокращенной ДНФ входят импликанты, наличие или отсутствие которых не сказывается на значение функции. Такие простые импликанты – избыточные.

(14)Тупиковые днф и их значение для нахождения min форм пф

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