Физические основы электроники. Усольцев В.К. - 29 стр.

димо просуммировать произведения аргументов для всех наборов, при которых
функция равна «1».
      При получении логической формулы в виде произведения элементарных
сумм (конъюнктивная нормальная форма или сокращенно КНФ) необходимо
взять произведения сумм инвертированных значений аргументов для всех на-
боров, при которых функция равна «0».
              Таблица 4.2
  Таблица соответствия         Наборы              Наборы
 a    b     с     d    Y    переменных ДНФ      переменных КНФ
 0    0     0     0    1        a ⋅b ⋅c ⋅d
 0    0     0     1    0                            a+b+c+d
 0    0     1     0    1         a ⋅b ⋅c⋅d
 0    0     1     1    0                            a+b+c +d
 0    1     0     0    1         a ⋅b⋅c ⋅d
 0    1     0     1    0                            a+b +c+d
 0    1     1     0    1         a ⋅b⋅c⋅d
 0    1     1     1    0                            a+b +c +d
 1    0     0     0    1         a ⋅b ⋅c ⋅d
 1    0     0     1    0                            a +b+c+d
 1    0     1     0    1         a ⋅b ⋅c⋅d
 1    0     1     1    0                            a +b+c +d
 1    1     0     0    1         a ⋅b⋅c ⋅d
 1    1     0     1    0                            a +b +c+d
 1    1     1     0    1         a ⋅b⋅c⋅d
 1    1     1     1    0                            a +b +c +d
      Более компактным и удобным для минимизации является представление
логической функции в виде карты Карно (диаграммы Вейча). Каждой клетке
карты Карно ставится в соответствие определенный набор входных перемен-
ных (аргументов), а в саму клетку проставляется значение функции при этом
наборе. Области единичных значений аргументов выделяются чертой или чис-
ленным значением вне поля карты.
      ПРИМЕР 1: Получение ДНФ и КНФ по таблице соответствия
      Логическая функция задана в виде таблицы соответствия (табл.4.2). Карта
Карно, соответствующая табл.4.2 приведена на рис.4.1.
      Наборам переменных ДНФ соответствуют произведения переменных,
взятых без инверсии (при единичных значений этих переменных) или с инвер-
сией (при нулевых значений) для всех единичных значений логической функ-

                                      29