Минимизация частично определенных булевых функций

При минимизации частично определенных булевых функций в клетки карты Карно, соответствующие наборам аргументов, на которых функция не определена, ставится символ d (don ’ t care). Эти наборы используются для построения кубов возможно большей размерности, в результате чего уменьшается цена покрытия функции.

 

Пример 2.13. Найти минимальную ДНФ функций, используемых для построения комбинационной схемы, в которой выполняется операция суммирования двоичных кодов по mod 3: у₁у₂ = (а₁а₂ + b ₁ b ₂)_{mod 3}.

Предполагается, что слагаемые имеют значения а₁а₂ £ 2; b ₁ b ₂ £ 2, т.е. наборы а₁а₂ = 11 и b ₁ b ₂ = 11 отсутствуют и рассматриваются как несущественные. Функции y ₁ = f ₁(a ₁, a ₂, b ₁, b ₂)и y ₂ = f ₂(a ₁, a ₂, b ₁, b ₂)представлены на рис. 2.9 в виде карт Карно. На картах нулевые значения y ₁ и y ₂ обозначены 0, единичные – 1, несущественные – знаком d.

а)	б)
Рис. 2.9. Минимизация частично определенных булевых функций

 

 

С использованием несущественных вершин определяются минимальные покрытия:

с ценой S ^а = 8 каждое. Покрытиям соответствуют минимальные ДНФ:

Замечание. После минимизации функция становится полностью определенной. Значения функции на несущественных наборах доопределяется до 1, если набор использовался при минимизации, и до 0, если нет.

Пример 2.14. Определение минимальных ДНФ и КНФ функции с использованием карт Карно ( рис. 2.10 а), б).

а)	б)
Рис. 2.10. Определение минимальных ДНФ (а) и КНФ (б) функции

 

Данной функции соответствует минимальная ДНФ (рис. 2.10 а) вида:

Нахождение нулевого покрытия этой функции представлено на рис. 2.10 б). Минимальная КНФ:

 

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

Так, булевой функции

соответствует минимальная ДНФ:  f = x ₃ x ₄ Ú x ₃ x ₅Ú x ₁ x ₂ x ₄ Ú x ₁ x ₂ x ₅,

по которой строится двухуровневая логическая схема (рис. 2.13 а) с ценой

S^b = 14.  Минимальная ДНФ преобразуется в скобочную форму:

f = (x₁x₂ Ú x₃)x₄Ú (x₁x₂ Ú x₃)x₅ = (x₁x₂ Ú x₃)(x₄ Ú x₅),

по которой строится схема (рис. 2.13 б) с ценой S^b = 8.

Рис. 2.13. Схема, построенная по МДНФ (а) и по скобочной форме (б)

Импликанты булевой функции. Системы импликант

Решение задачи минимизации булевой функции методом Квайна и усовершенствованным методом Квайна-Мак-Класки базируется на понятиях импликант и их систем.

Булева функция g(X) называется импликантой булевой функции f(X), если для любого набора аргументов, на которых g(X)=1, f(X) также равна единице.

Свойства импликант:

Между импликантой и самой функцией существует отношение включения g(X)Ì f(X).

Можно утверждать, что для любого набора аргументов, на котором функция равна нулю, ее импликанта также равна нулю.

Если g(X) и j(X) являются импликантами функции f(X), то их дизъюнкция также является импликантой этой функции.

Простейшими примерами импликант могут служить конъюнктивные термы, входящие в произвольную ДНФ данной функции.

 

Пример 2.16. Импликантами функции являются  Т.е. произвольная дизъюнкция этих термов также является импликантой функции.

Простой ( первичной ) импликантой булевой функции называется конъюнктивный терм, который сам является импликантой этой функции, но никакая его собственная часть уже не является импликантой этой функции.

Под собственной частью терма понимается новый терм, полученный из исходного, путем вычеркивания произвольного числа букв.

Для функции примера 2.16 простыми импликантами являются:

Множеству простых импликант можно поставить в соответствие множество максимальных кубов.

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

Для функции примера 2.16 СДНФ имеет вид:  оооооооооооооооо ттттттттттттттт

Понятие «сокращенная» присвоено ДНФ в том смысле, что она, как правило, содержит меньшее количество букв и термов по сравнению с КДНФ. Для нашего примера КДНФ содержит 15 букв и 5 термов, а СДНФ - 8 букв и 4 терма.

Аналогия между импликантами и

⇐ Предыдущая567891011121314Следующая ⇒

Поделиться: