Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

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

Читайте также:
  1. A) отличие от сферы частичных функций личности;
  2. А. Наследственный дефицит ферментных систем, участвующих в активном транспорте определенных аминокислот.
  3. В процессах социального взаимодействия формирующая среда выполняет ряд функций.
  4. Вычисление определенных интеrралов
  5. Вычисление функций
  6. Гиоталамо-гипофизарная система. Роль гипоталамуса в регуляции физиологических функций.
  7. Глава 17. Прогрессирующее ожирение со снижением половых функций организма

 

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

Введем относительно булевой функции две доопределенные функции:

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

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

Тогда теорема Квайна в этом случае утверждает следующее:

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

В качестве иллюстрации применения теоремы Квайна рассмотрим пример.

Пример 1.6. Булева функция задана таблицей истинности

Таблица 1.11.

Таблица истинности булевой функцию

               
               
               
  *   *       *

Найти минимальную ДНФ.

Если доопределить булеву функцию нулями получаем СДНФ функции (см. табл. 1.11). Она записывается так:

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

.

Используя метод минимизации Квайна, получаем окончательную сокращенную ДНФ .

Строим импликантную таблицу, столбцами которой будут макстермы функции , а строками простые импликанты (табл. 1.12).

Таблица 1.12

Импликантная таблица булевой функции

 
 
импликанты макстермы
  * *
*    
    *

 

 

 


Минимальную ДНФ запишем так:

Пример 1.7. Булева функция задана картой Карно (рис. 1.3.). Найти минимальное доопределение этой функции.

Прочерк в карте Карно означает, что таким образом обозначенные значения БФ не определенны. Из карты, приведенной на рис. 1.3, видно, какие наборы целесообразно доопределять единицами, а какие ну лями. Доопределяем функцию и записываем соответствующую карту Карно так (рис.1.4):

Выбор нуля или единицы диктуется, прежде всего, возможностями склеивания. Нетрудно увидеть, что окончательно минимальную ДНФ можно записать так:

Заметим, что рассмотренный метод минимизации БФ будет использован ниже при синтезе полного одноразрядного двоичного сумматора.

 


Дата добавления: 2015-07-08; просмотров: 255 | Нарушение авторских прав


Читайте в этой же книге: Метод минимизирующих карт. | Метод Квайна и импликантные матрицы | Минимизация функций алгебры логики по методу Квайна - Мак-Класки | Логические операторы электронных схем или цепей | Канонический метод синтеза комбинационных схем. | Минимизация логических схем со многими выходами | Характеристики комбинационных схем | Анализ КС методом асинхронного моделирования | Определение абстрактного цифрового автомата | Табличное задание автоматов Мили и Мура |
<== предыдущая страница | следующая страница ==>
Минимизация конъюнктивных нормальных форм| Метод неопределенных коэффициентов

mybiblioteka.su - 2015-2024 год. (0.007 сек.)