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

Представление логических функций

Читайте также:
  1. Gantt представление
  2. I. 3.2. Зависимость психических функций от среды и строения органов
  3. II. История правового регулирования экологических отношений
  4. Quot;Миг совершенства" - это ослепительный взрыв, который освещает своим светом все представление и оставляет в памяти слушателей неизгладимое впечатление.
  5. V2: Графики периодических функций
  6. V2: МЕТОДЫ ГИСТОЛОГИЧЕСКИХ ИССЛЕДОВАНИЙ
  7. Активный ил, применяемый при очистке стоков биотехнологических производств, это

Наиболее наглядно, но и наиболее громоздко, логическая функция представляется таблицей соответствия, где каждому набору аргументов ставится в соответствие значение функции (см. табл.5.2). От таблицы соответствия легко перейти к алгебраической форме записи (логической формуле).

 

  Таблица 5.2    
Таблица соответствия Наборы Наборы
a b с d Y переменных СДНФ переменных СКНФ
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

 

При получении логической формулы в виде суммы элементарных произведений (дизъюнктивная нормальная форма или сокращенно ДНФ) необходимо просуммировать произведения аргументов для всех наборов, при которых функция равна «1».

При получении логической формулы в виде произведения элементарных сумм (конъюнктивная нормальная форма или сокращенно КНФ) необходимо взять произведения сумм инвертированных значений аргументов для всех наборов, при которых функция равна «0».

Если произведения в ДНФ содержат все переменные, ДНФ называется совершенной (СДНФ). Если суммы КНФ содержат все переменные, КНФ называется совершенной (СКНФ).

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

Совершенные нормальные формы (СДНФ, СКНФ) являются единственными для данной функции, ДНФ и КНФ для данной функции может быть несколько. Стремятся получить минимальные ДНФ и КНФ, содержащие минимальное число букв.

Более компактным и удобным для минимизации является представление логической функции в виде карты Карно (диаграммы Вейча). Каждой клетке карты Карно ставится в соответствие определенный набор входных переменных (аргументов), а в саму клетку проставляется значение функции при этом наборе. Области единичных значений аргументов выделяются чертой или численным значением вне поля карты. Карту Карно формируют так, чтобы рядом лежащие клетки били «соседними», то есть отличались значение лишь одной переменной.

ПРИМЕР 1: Получение СДНФ и СКНФ по таблице соответствия

Логическая функция задана в виде таблицы соответствия (табл.5.2). Карта Карно, соответствующая табл.5.2 приведена на рис.5.1.

Наборам переменных СДНФ соответствуют произведения переменных, взятых без инверсии (при единичных значений этих переменных) или с инверсией (при нулевых значений) для всех единичных значений логической функции. Наборам переменных СКНФ соответствуют суммы инвертированных значений переменных, взятых для всех нулевых значений логической функции.



 

 

Рис.5.1. Пример заполнения Карты Карно (диаграммы Вейча)

 

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

(4.1)

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

(4.2)

 

 


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


Читайте в этой же книге: Минимизация логической функции с помощью карты Карно | Переход от логической формулы к логической схеме | Основные параметры и характеристики ЦИС | Основные серии цифровых интегральных схем | Схемотехника логических элементов на диодах | Схемотехника ТТЛ логики | Схемотехника КМОП логических элементов | Сумматоры | Дешифраторы | Мультиплексоры |
<== предыдущая страница | следующая страница ==>
Основные определения алгебры логики| Законы (правила преобразования) алгебры логики

mybiblioteka.su - 2015-2020 год. (0.012 сек.)